( en | de | ru )

 

Disambiguierung von "Smolka, Scott A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Path Reduction for Software Model Checking.

, , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 322-336. Springer, (2009)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Horst Smolka

Ernst Smolka

 

Weitere Publikationen von Autoren mit dem selben Namen

Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts., , , , , , , , , und 1 andere Autor(en). CinC, Seite 1-4. IEEE, (2021)Metis: File System Model Checking via Versatile Input and State Exploration., , , , , , , und . FAST, Seite 123-140. USENIX Association, (2024)Algebraic Reasoning for Probabilistic Concurrent Systems., , und . Programming Concepts and Methods, Seite 443-458. North-Holland, (1990)Polynomial-Time Analysis for a Class of Communicating processes.. Symposium on Programming, Volume 167 von Lecture Notes in Computer Science, Seite 250-262. Springer, (1984)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., und . PODC, Seite 23-38. ACM, (1985)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2017)A Process-Algebraic Language for Probabilistic I/O Automata., , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 189-203. Springer, (2003)Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes., und . CONCUR, Volume 458 von Lecture Notes in Computer Science, Seite 367-383. Springer, (1990)Local Model Checking for Real-Time Systems (Extended Abstract)., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 398-401. Springer, (1996)