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 12

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

Counterexample-Guided Abstraction Refinement

Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)

0 comments Cited 157 times – based on 0 reviews

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): 2003

Pages: 262-274

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

SO-VID: 83c6d8de-4e77-4c1a-9e6a-379a9f92af03

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 19

See all cited by

Thread-Modular Abstraction Refinement

Read this book at

Related collections

ScienceOpen Research

Most cited references 12

Counterexample-Guided Abstraction Refinement

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 1,008

Cited by 19