Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book
%1 DBLP:books/aw/Lamport2002
%A Lamport, Leslie
%D 2002
%I Addison-Wesley
%K TLA+
%T Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers
%@ 0-3211-4306-X
@book{DBLP:books/aw/Lamport2002,
added-at = {2015-06-13T10:30:07.000+0200},
author = {Lamport, Leslie},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/27f6edd808bdac24c1972d0935e588a0d/lemmy},
description = {dblp: BibTeX record books/aw/Lamport2002},
interhash = {6f6e65937649766a2e73363685e43bba},
intrahash = {7f6edd808bdac24c1972d0935e588a0d},
isbn = {0-3211-4306-X},
keywords = {TLA+},
publisher = {Addison-Wesley},
timestamp = {2015-06-13T10:30:07.000+0200},
title = {Specifying Systems, The {TLA+} Language and Tools for Hardware and Software Engineers},
year = 2002
}
