Record: found
Abstract: not found
Book: not found

Computer Aided Verification

other

Editor(s): Ed Brinksma , Kim Guldstrand Larsen

Publication date (Online): September 20 2002

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-43997-4

ISBN (Electronic): 978-3-540-45657-5

Publication date (Print): 2002

Publication date (Online): September 20 2002

DOI: 10.1007/3-540-45657-0

SO-VID: 5e4e2c13-00e2-4891-9103-c53983029899

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

A New Rule for LTL Tableaux
Authors: Mark Reynolds
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
Authors: Muhammad Mufid, Dieky Adzkiya, Alessandro Abate

See all cited by