( en | de | ru )

 

Disambiguierung von "McMillan, Kenneth L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Liveness by Invisible Invariants.

, , , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 356-371. Springer, (2006)

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 McMillan

Kenneth Froese

Kenneth Anders

Kenneth Simon

Kenneth Ndyabawe

 

Weitere Publikationen von Autoren mit dem selben Namen

An Interpolating Theorem Prover.. TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2004)Minimum Satisfying Assignments for SMT., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 394-409. Springer, (2012)Lazy Annotation for Program Testing and Verification.. CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 104-118. Springer, (2010)Liveness by Invisible Invariants., , , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 356-371. Springer, (2006)Interpolants and Symbolic Model Checking.. VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 89-90. Springer, (2007)Invisible Invariants and Abstract Interpretation., und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 249-262. Springer, (2011)Proof Rules for Model Checking Systems with Data.. FSTTCS, Volume 1530 von Lecture Notes in Computer Science, Seite 270. Springer, (1998)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2005)Deciding Global Partial-Order Properties., , und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 41-52. Springer, (1998)Analysis of digital circuits through symbolic reduction., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)