PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Doligez, Damien"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A TLA+ Proof System.

, , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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.

Keine Personen gefunden für den Autorennamen Doligez, Damien
Eine Person hinzufügen mit dem Namen Doligez, Damien
 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo., , , , und . LPAR (short papers), Volume 35 von EPiC Series in Computing, Seite 42-58. EasyChair, (2015)Algebraic Structures and Dependent Records., , und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 298-313. Springer, (2002)Proving Determinacy of the PharOS Real-Time Operating System., , , , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2016)A TLA+ Proof System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML., und . POPL, Seite 113-123. ACM Press, (1993)Experience in using a typed functional language for the development of a security application., , , und . F-IDE, Volume 149 von EPTCS, Seite 58-63. (2014)TLA + Proofs., , , , , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 147-154. Springer, (2012)Portable, Unobtrusive Garbage Collection for Multiprocessor Systems., und . POPL, Seite 70-83. ACM Press, (1994)Verifying Safety Properties with the TLA+ Proof System., , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 142-148. Springer, (2010)Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo., , , , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 274-290. Springer, (2013)