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 16

Record: found
Abstract: not found
Article: not found

Reversal-Bounded Multicounter Machines and Their Decision Problems

Oscar H. Ibarra (1978)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Symbolic model checking: 1020 States and beyond

J.R. Burch, E.M. Clarke, K.L. McMillan … (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Symbolic model checking with rich assertional languages

Y. Kesten, O. Maler, M. Marcus … (2001)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2003

Pages: 236-248

DOI: 10.1007/978-3-540-45069-6_25

SO-VID: c2e31634-5b8c-43df-96f5-cd9a4cb3fbc8

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 9

See all cited by

Algorithmic Improvements in Regular Model Checking

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 16

Reversal-Bounded Multicounter Machines and Their Decision Problems

Symbolic model checking: 1020 States and beyond

Symbolic model checking with rich assertional languages

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,714

Cited by 9