Advertisement

Unfoldings pp 41-72 | Cite as

Search Procedures for the Executability Problem

  • Javier Esparza
  • Dr. Keijo Heljanko
Chapter
  • 364 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