Advertisement

Reachability Problems

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

  • Antonín Kučera
  • Igor Potapov
Conference proceedings RP 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6227)

About these proceedings

Keywords

Action algebraic structures automata complexity finite state machines infinite state sy infinite state systems reachability problems temporal logics verification

Editors and affiliations

  • Antonín Kučera
    • 1
  • Igor Potapov
    • 2
  1. 1.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolEngland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15349-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15348-8
  • Online ISBN 978-3-642-15349-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site