( en | de | ru )

 

Disambiguierung von "Dill, David L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Move Prover.

, , , , , , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 137-150. Springer, (2020)

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.

David L Dowdey

David L Weakliem

David L Largent

Johann Dill

Gundar Dill

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Model Checking: 10^20 States and Beyond, , , , und . LICS, Seite 428-439. IEEE Computer Society, (1990)Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs., , und . DAC, Seite 61-67. ACM Press, (1993)A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol., , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2001)Alternative Approaches to Hardware Verification (abstract).. CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 1. Springer, (1999)Checking for Language Inclusion Using Simulation Preorders., , und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 255-265. Springer, (1991)The Murphi Verification System.. CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 390-393. Springer, (1996)The Theory of Timed Automata., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 45-73. Springer, (1991)The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways., , , , , und . Systems Biology and Regulatory Genomics, Volume 4023 von Lecture Notes in Computer Science, Seite 11-22. Springer, (2005)Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 97-117. Springer, (2017)Validity Checking for Combinations of Theories with Equality., , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 187-201. Springer, (1996)