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 18

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

Stubborn sets for reduced state space generation

Antti Valmari (1991)

0 comments Cited 41 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Model checking

Edmund M. Clarke, Joseph Sifakis, E. Allen Emerson (2009)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Reduction and expansion of live and safe marked graphs

T Murata, J. Koh (1980)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): May 08 2018

Pages: 143-163

DOI: 10.1007/978-3-319-91268-4_8

SO-VID: aaf2f8b1-d7f7-4de6-8fe0-3b9ab995bc31

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Taking Some Burden Off an Explicit CTL Model Checker
Authors: Torsten Liebke, Karsten Wolf

See all cited by

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 18

Stubborn sets for reduced state space generation

Model checking

Reduction and expansion of live and safe marked graphs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,319

Cited by 1