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 9

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

AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON

John Hopcroft (1971)

0 comments Cited 81 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Gunnar Jonsson (1996)

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

Bookmark

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

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Bengt. Jonsson, Marcus Nilsson (2000)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2003

Pages: 223-235

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

SO-VID: 8fc9ab39-8472-4116-a622-1eea5b4cdf10

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 21

See all cited by

Iterating Transducers in the Large

Read this book at

Related collections

Journal of large-scale research facilities (JLSRF)

Most cited references 9

AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON

Verifying Programs with Unreliable Channels

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,300

Cited by 21