( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TLA+: Whence, Wherefore, and Whither.

. NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 3. (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leslie Melters

Leslie Schlüter

Leslie Knolle

Leslie Tramontini

Leslie Heckmann

 

Другие публикации лиц с тем же именем

Paxos Made Simple, Fast, and Byzantine.. OPODIS, том 3 из Studia Informatica Universalis, стр. 7-9. Suger, Saint-Denis, rue Catulienne, France, (2002)ŁaTeX: A Document Preparation System. Addison Wesley, Reading, Massachusetts, (1985)The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform, , , и . Theoretical Aspects of Computing – ICTAC 2010, том 6255 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)On-the-Fly Garbage Collection: An Exercise in Cooperation, , , , и . Commun. ACM, (ноября 1978)The Synchronization of Independent Processes.. Acta Inf., (1976)Who builds a house without drawing blueprints?. Commun. ACM, 58 (4): 38--41 (2015)Open Systems in TLA., и . PODC, стр. 81-90. ACM, (1994)An Old-Fashioned Recipe for Real Time., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 1-27. Springer, (1991)What Good is Temporal Logic?. IFIP Congress, стр. 657-668. North-Holland/IFIP, (1983)Checking a Multithreaded Algorithm with +CAL.. DISC, том 4167 из Lecture Notes in Computer Science, стр. 151-163. Springer, (2006)