( en | de | ru )

 

Disambiguierung von "Basin, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bridging the semantic gap between qualitative and quantitative models of distributed systems.

, , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 315-344 (2022)

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.

Stesia Basina

Sobha Rani Basineni

Christiane Basiner

David A Traill

lin A David

 

Weitere Publikationen von Autoren mit dem selben Namen

A Term Equality Problem Equivalent to Graph Isomorphism.. Inf. Process. Lett., 51 (2): 61-66 (1994)Secure Deletion on Log-structured File Systems, , , und . CoRR, (2011)On Obligations., , und . ESORICS, Volume 3679 von Lecture Notes in Computer Science, Seite 98-117. Springer, (2005)Rippling - meta-level guidance for mathematical reasoning., , , und . Cambridge tracts in theoretical computer science Cambridge University Press, (2005)A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols., und . TPHOLs, Volume 4732 von Lecture Notes in Computer Science, Seite 302-318. Springer, (2007)Structuring Metatheory on Inductive Definitions., und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 171-185. Springer, (1996)Code Generation for Event-B., , , , , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2014)An Environment For Automated Reasoning About Partial Functions.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 101-110. Springer, (1988)Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.. CADE, Volume 449 von Lecture Notes in Computer Science, Seite 251-260. Springer, (1990)Optimal Proofs for Linear Temporal Logic on Lasso Words., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 37-55. Springer, (2018)