External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Analysis Problems for Sequential Dynamical Systems and Communicating State Machines

Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. In Jiri Sgall, Ales Pultr, Petr Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Volume 2136 of Lecture Notes in Computer Science, pages 159-172, Springer, 2001. [doi]

Authors

Christopher L. Barrett

This author has not been identified. Look up 'Christopher L. Barrett' in Google

Harry B. Hunt III

This author has not been identified. Look up 'Harry B. Hunt III' in Google

Madhav V. Marathe

This author has not been identified. Look up 'Madhav V. Marathe' in Google

S. S. Ravi

This author has not been identified. Look up 'S. S. Ravi' in Google

Daniel J. Rosenkrantz

This author has not been identified. Look up 'Daniel J. Rosenkrantz' in Google

Richard Edwin Stearns

This author has not been identified. Look up 'Richard Edwin Stearns' in Google
runs on