Tools and Algorithms for the Construction and Analysis of Systems

other

Editor(s): Cormac Flanagan , Barbara König

Publication date (Print): 2012

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-642-28755-8

ISBN (Electronic): 978-3-642-28756-5

Publication date (Print): 2012

DOI: 10.1007/978-3-642-28756-5

SO-VID: 3fbf3160-b992-47c5-9259-3baa3a5fc798

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Structural and semantic pattern matching analysis in Haskell
Authors: Pavel Kalvoda, Tom Kerckhove
Improving HyLTL model checking of hybrid systems
Authors: Davide Bresolin
Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage
Authors: Matteo Cavaliere, Tommaso Mazza, Sean Sedwards

See all cited by