Die bibliographische Datenbank LEABib
|
|
Suche: Citkey="Barrett-Hunt-Marathe-Ravi-Rosenkrantz-Stearns/01" |
|
Analysis problems for sequential dynamical systems and communicating state machines
Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S.S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns
Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mariánské Láznȇ, Czech Republic, August 27-31, 2001)
Lecture Notes in Computer Science
2136
, 2001, pp. 159-172