Artikel in einem Konferenzbericht,

Integer Programming in the Analysis of Concurrent Systems.

, , und .
CAV, Volume 575 von Lecture Notes in Computer Science, Seite 92-102. Springer, (1991)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen