PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cleaveland, Rance"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

, , , und . Software - Concepts and Tools, 17 (2): 50-62 (1996)

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.

Keine Personen gefunden für den Autorennamen Cleaveland, Rance
Eine Person hinzufügen mit dem Namen Cleaveland, Rance
 

Weitere Publikationen von Autoren mit dem selben Namen

On Automatically Distinguishing Inequivalent Processes.. CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 463-476. DIMACS/AMS, (1990)High-Confidence Medical Device Software and Systems., , , , , , , und . IEEE Computer, 39 (4): 33-38 (2006)A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus., und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 48-58. Springer, (1991)On Automatically Explaining Bisimulation Inequivalence.. CAV, Volume 531 von Lecture Notes in Computer Science, Seite 364-372. Springer, (1990)Evidence-Based Model Checking., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 455-470. Springer, (2002)Scott Smolka and Me.. From Reactive Systems to Cyber-Physical Systems, Volume 11500 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2019)Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees., , und . CDC, Seite 751-758. IEEE, (2018)The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems., , , , , und . Specification of Parallel Algorithms, Volume 18 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 75-89. DIMACS/AMS, (1994)An Algebraic Theory of Multiple Clocks., , und . CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 166-180. Springer, (1997)Testing-Based Abstractions for Value-Passing Systems., und . CONCUR, Volume 836 von Lecture Notes in Computer Science, Seite 417-432. Springer, (1994)