( en | de | ru )

 

Disambiguierung von "Brayton, Robert K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formula-Dependent Equivalence for Compositional CTL Model Checking.

, , , , und . Formal Methods Syst. Des., 21 (2): 193-224 (2002)

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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K von Weizsäcker

 

Weitere Publikationen von Autoren mit dem selben Namen

Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited., , und . DAC, Seite 245-248. IEEE Computer Society Press, (1992)On the Temporal Equivalence of Sequential Circuits., , , und . DAC, Seite 405-409. IEEE Computer Society Press, (1992)Exact Minimum Cycle Times for Finite State Machines., , und . DAC, Seite 100-105. ACM Press, (1994)Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions., , und . DAC, Seite 128-134. ACM Press, (1993)Heuristic Minimization of BDDs Using Don't Cares., , , und . DAC, Seite 225-231. ACM Press, (1994)Sequential Synthesis for Table Look Up Programmable Gate Arrays., , und . DAC, Seite 224-229. ACM Press, (1993)A Unified Approach to Language Containment and Fair CTL Model Checking., , , und . DAC, Seite 475-481. ACM Press, (1993)Verifying Abstractions of Timed Systems., , , und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 546-562. Springer, (1996)The Rabin Index and Chain Automata, with Applications to Automatas and Games., , , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 253-266. Springer, (1995)Efficient omega-Regular Language Containment., , , und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 396-409. Springer, (1992)