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-12001-5

ISBN (Electronic): 978-3-642-12002-2

Publication date (Print): 2010

DOI: 10.1007/978-3-642-12002-2

SO-VID: 875b2f3a-577d-40a6-a9c1-ca33d583b8d0

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

Answer Set Solving in Practice
Authors: Martin Gebser, Roland Kaminski, Benjamin B Kaufmann …
Challenges in Quantitative Abstractions for Collective Adaptive Systems
Authors: Mirco Tribastone
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
Authors: David Hardin, Konrad Slind

See all cited by

Tools and Algorithms for the Construction and Analysis of Systems

Read this book at