login · register help · blog · about ·

BibSonomy :: author :: Lamport ::

tag user group author concept BibTeX key search:all

A blue social bookmark and publication sharing system.

bookmarks

XML

publications

(1)

BibTeX

RDF

other export options

previous | 1 | next

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Leslie Lamport (2002)
to phd by cedricmesnage and 1 other person on 2007-12-13 15:15:17
| URL | BibTeX

previous | 1 | next

Showing 20 items per page. Show 10, 25, 50, 100 items per page.