Advertisement

Unfoldings pp 151-156 | Cite as

Summary, Applications, Extensions, and Tools

  • Javier Esparza
  • Dr. Keijo Heljanko
Chapter
  • 360 Downloads
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Javier Esparza
    • 1
  • Dr. Keijo Heljanko
    • 2
  1. 1.Chair for Foundations of Software Reliability and Theoretical Computer ScienceTechnische Universität MünchenGermany
  2. 2.Department of Information and Computer ScienceHelsinki University of Technology (TKK)Finland

Personalised recommendations