( en | de | ru )

 

Disambiguierung von "Trefler, Richard J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing Model Checking of the Few to the One.

, , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 94-113. 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.

Richard J Saley

Richard J Brunt

Richard J Fuchs

Richard J Watts

Richard J Fuchs

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized Compositional Model Checking., und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 589-606. Springer, (2016)Extending Symmetry Reduction by Exploiting System Architecture., und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 320-334. Springer, (2009)Loop Freedom in AODVv2., und . FORTE, Volume 9039 von Lecture Notes in Computer Science, Seite 98-112. Springer, (2015)Algorithmic Analysis of Piecewise FIFO Systems., , , und . FMCAD, Seite 45-52. IEEE Computer Society, (2007)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , und . SAS, Volume 12913 von Lecture Notes in Computer Science, Seite 429-452. Springer, (2021)Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)., , , , , und . CoRR, (2021)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 465-479. Springer, (2001)On the Competeness of Compositional Reasoning., und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2000)Local Symmetry and Compositional Verification., und . VMCAI, Volume 7148 von Lecture Notes in Computer Science, Seite 348-362. Springer, (2012)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2002)