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 Chapter

Publication date (Print): 2014

Pages: 334-342

DOI: 10.1007/978-3-319-08867-9_22

SO-VID: cdac47c8-45f5-420f-b72d-2c536dbe8634

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 36

See all cited by

The nuXmv Symbolic Model Checker

Read this book at