Login / Signup

Integer Programming in the Analysis of Concurrent Systems.

George S. AvruninUgo A. BuyJames C. Corbett
Published in: CAV (1991)
Keyphrases
  • integer programming
  • concurrent systems
  • np hard
  • special case
  • linear programming
  • set covering
  • set covering problem
  • information systems
  • process algebra