Computer Aided Verification

other

Editor(s): E. Allen Emerson , Aravinda Prasad Sistla

Publication date (Print): 2000

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-540-67770-3

ISBN (Electronic): 978-3-540-45047-4

Publication date (Print): 2000

DOI: 10.1007/10722167

SO-VID: c14c1c37-82d6-4add-9f1a-26eb31e1247d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

Parameterized Model Checking of Ring-Based Message Passing Systems
Authors: E. Allen Emerson, Vineet Kahlon
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
Authors: E. Allen Emerson, Vineet Kahlon
Partial Solvers for Parity Games: Effective Polynomial-Time Composition
Authors: Patrick Ah-Fat, Michael Huth

See all cited by