Record: found
Abstract: not found
Book Chapter: not found

Distributing Timed Model Checking — How the Search Order Matters

other

Author(s): Gerd Behrmann , Thomas Hune , Frits Vaandrager

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

Most cited references 14

Record: found
Abstract: not found
Article: not found

A theory of timed automata

Rajeev Alur, David Dill (1994)

0 comments Cited 139 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi (1997)

0 comments Cited 48 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

The Mur ϕ verification system

David Dill (1996)

0 comments Cited 20 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 216-231

DOI: 10.1007/10722167_19

SO-VID: 6dfe82d4-e5d4-4695-8fa1-4058779560ad

History

Data availability:

Distributing Timed Model Checking — How the Search Order Matters

Read this book at

Related collections

In vitro alveolar region models

Most cited references 14

A theory of timed automata

Uppaal in a nutshell

The Mur ϕ verification system

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,175

Cited by 7