External Links

Cite Key

Statistics

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

PDF

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.

An Unfolding Algorithm for Synchronous Products of Transition Systems

Javier Esparza, Stefan Römer. An Unfolding Algorithm for Synchronous Products of Transition Systems. In Jos C. M. Baeten, Sjouke Mauw, editors, CONCUR 99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Volume 1664 of Lecture Notes in Computer Science, pages 2-20, Springer, 1999. [doi]

Authors

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Stefan Römer

This author has not been identified. Look up 'Stefan Römer' in Google
runs on