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 6

Record: found
Abstract: not found
Article: not found

Parallel program schemata

Richard M Karp, Raymond E. Miller (1969)

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

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

A partial order approach to branching time logic model checking

R. Gerth, R. Kuiper, D. Peled … (1995)

0 comments Cited 9 times – based on 0 reviews

Bookmark

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

Stubborn Sets for Standard Properties

Karsteb Schmidt (1999)

0 comments Cited 8 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Publication date (Online): June 9 2000

Pages: 465-474

DOI: 10.1007/3-540-44988-4_27

SO-VID: 05af5b01-7af5-4e89-8178-b521ef9a8967

History

Data availability:

LoLA A Low Level Analyser

Read this book at

Related collections

Politics of the Low Countries

Most cited references 6

Parallel program schemata

A partial order approach to branching time logic model checking

Stubborn Sets for Standard Properties

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,984

Cited by 16