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

Model checking and abstraction

Edmund M. Clarke, Orna Grumberg, David Long (1994)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Mediators in the architecture of future information systems

Jan Wiederhold (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Formal verification of parallel programs

Robert Keller (1976)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 17-33

DOI: 10.1007/978-3-642-35173-0_2

SO-VID: 52580266-5ba8-4dd3-9790-1f5c692117c0

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications
Authors: Marco Autili, Paola Inverardi, Filippo Mignosi …

See all cited by

Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case

Read this book at

Related collections

Value-based Healthcare

Most cited references 16

Model checking and abstraction

Mediators in the architecture of future information systems

Formal verification of parallel programs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 6,569

Cited by 1