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

Proof-checking a data link protocol

other

Author(s): L. Helmink , M. P. A. Sellink , F. W. Vaandrager

Publication date (Online): June 2 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 7

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

Hierarchical correctness proofs for distributed algorithms

Mark R. Tuttle, Nancy A. Lynch (1987)

0 comments Cited 47 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

Rance Cleaveland, Joachim Parrow, Bernhard Steffen (1993)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Larch: Languages and Tools for Formal Specification

John V. Guttag, James Horning, S Garland … (1993)

0 comments Cited 28 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1994

Publication date (Online): June 2 2005

Pages: 127-165

DOI: 10.1007/3-540-58085-9_75

SO-VID: cee26bda-f15e-41fd-91c6-abe9a77da155

History

Data availability:

Proof-checking a data link protocol

Read this book at

Related collections

The Criminology, Victimology and Security Journal

Most cited references 7

Hierarchical correctness proofs for distributed algorithms

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

Larch: Languages and Tools for Formal Specification

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,962

Cited by 12