( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MakeIndex: An Index Processor For LaTEX

. (17.02.1987)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Leslie Melters

Leslie Schlüter

Leslie Knolle

Leslie Tramontini

Leslie Heckmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, (2002)LaTeX: A Document Preparation System (2nd Edition). Addison-Wesley Professional, 2 Edition, (10.07.1994)An incomplete history of concurrency chapter 1. 1965-1977.. PODC, Seite 291. ACM, (2014)Recent Discoveries from Paxos.. DSN, Seite 3. IEEE Computer Society, (2004)Processes are in the Eye of the Beholder.. Theor. Comput. Sci., 179 (1-2): 333-351 (1997)The Hyperplane Method for an Array Computer.. Sagamore Computer Conference, Volume 24 von Lecture Notes in Computer Science, Seite 113-131. Springer, (1974)Composing Specifications., und . REX Workshop, Volume 430 von Lecture Notes in Computer Science, Seite 1-41. Springer, (1989)Hybrid Systems in TLA+.. Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 77-102. Springer, (1992)TLA+: Whence, Wherefore, and Whither.. NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 3. (2009)Composing specifications, und . ACM Trans. Program. Lang. Syst., (Januar 1993)