( en | de | ru )

 

Disambiguierung von "Kurshan, Robert P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Timing Verification by Successive Approximation.

, , , und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 137-150. Springer, (1992)

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 P Umbricht

Robert P Stidwill

Robert H P McGregor

P Gumbsch

P Schmitt

 

Weitere Publikationen von Autoren mit dem selben Namen

A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 103-116. Springer, (1990)Model Checking Synchronous Timing Diagrams., , , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2000)Model Checking and Abstraction.. SARA, Volume 2371 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2002)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)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 387-390. Springer, (2001)Analysis of digital circuits through symbolic reduction., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)The Evolution of Commercial Formal Verification.. PDPTA, CSREA Press, (2000)Automated Implementation from Formal Specification., und . PSTV, Seite 127-136. North-Holland, (1984)Timing Verification by Successive Approximation., , , und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 137-150. Springer, (1992)A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata., , und . Inf. Process. Lett., 46 (6): 301-308 (1993)