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

Publication date (Print): 1992

DOI: 10.1007/BFb0084777

SO-VID: 6ef0e7e0-9bb8-4dbe-a97f-9a4fdae76301

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Metrics for Labeled Markov Systems
Authors: Josée Desharnais, Vineet Gupta, Radha Jagadeesan …
Model-Checking
Authors: Markus Müller-Olm, David Schmidt, Bernhard Steffen

See all cited by

CONCUR '92

Read this book at