Autor der Publikation

Escher - a geometrical layout system for recursively defined circuits.

, und . DAC, Seite 650-653. IEEE Computer Society Press, (1986)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking algorithms for the µ-calculus., , , und . Proof, Language, and Interaction, Seite 309-338. The MIT Press, (2000)Grand Challenge: Model Check Software., , und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 55-68. IOS Press, (2005)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , und . CHDL, Volume A-32 von IFIP Transactions, Seite 15-30. North-Holland, (1993)Bounded model checking, , , , und . Advances in Computers, (2003)A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata., , und . Inf. Process. Lett., 46 (6): 301-308 (1993)Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts., und . DAC, Seite 563-568. ACM, (2009)A SAT-based algorithm for reparameterization in symbolic simulation., , und . DAC, Seite 524-529. ACM, (2004)Studies of biological networks with statistical model checking: application to immune system cells., , , und . BCB, Seite 728. ACM, (2013)Compiling Path Expressions into VLSI Circuits., , , und . POPL, Seite 191-204. ACM Press, (1985)Reasoning About Networks With Many Identical Finite-State Processes., , und . PODC, Seite 240-248. ACM, (1986)