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

TLA + Proofs

other

Author(s): Denis Cousineau , Damien Doligez , Leslie Lamport , Stephan Merz , Daniel Ricketts , Hernán Vanzetto

Publication date (Print): 2012

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 12

Record: found
Abstract: not found
Article: not found

Myths about the mutual exclusion problem

G.L. Peterson (1981)

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

Bookmark

Record: found
Abstract: not found
Article: not found

How to write a 21st century proof

Leslie Lamport (2012)

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

Bookmark

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

The Isabelle Framework

Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow (2008)

0 comments Cited 12 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 147-154

DOI: 10.1007/978-3-642-32759-9_14

SO-VID: 9421c868-3915-4960-a5c4-4dc8aa0ea7d9

History

Data availability:

TLA + Proofs

Read this book at

Related collections

ScienceOpen Research

Most cited references 12

Myths about the mutual exclusion problem

How to write a 21st century proof

The Isabelle Framework

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 825

Cited by 5