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 30

Record: found
Abstract: not found
Article: not found

Graph-Based Algorithms for Boolean Function Manipulation

Bryant (1986)

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

Bookmark

Record: found
Abstract: not found
Article: not found

An axiomatic proof technique for parallel programs I

David Gries, Susan Owicki (1976)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Tentative steps toward a development method for interfering programs

C Jones (1983)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): October 4 2002

Pages: 3-22

DOI: 10.1007/3-540-45739-9_1

SO-VID: f07def4c-aa90-4646-8687-fa6f20f34928

History

Data availability:

UppaaL Implementation Secrets

Read this book at

Related collections

ScienceOpen Research

Most cited references 30

Graph-Based Algorithms for Boolean Function Manipulation

An axiomatic proof technique for parallel programs I

Tentative steps toward a development method for interfering programs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,228

Cited by 6