( en | de | ru )

 

Disambiguierung von "Clarke, Edmund M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Verus language: representing time efficiently with BDDs.

, und . Theor. Comput. Sci., 253 (1): 95-118 (2001)

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.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Kevin Clarke

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Towards Personalized Cancer Therapy Using Delta-Reachability Analysis., , , , und . CoRR, (2014)Distributed Computing Issues in Hardware Design.. Distributed Comput., 1 (4): 185-186 (1986)Another Look at LTL Model Checking., , und . Formal Methods Syst. Des., 10 (1): 47-71 (1997)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , und . Formal Methods Syst. Des., 35 (1): 6-39 (2009)Verification of SpecC using predicate abstraction., , und . Formal Methods Syst. Des., 30 (1): 5-28 (2007)Functional Equivalence Verification Tools in High-Level Synthesis Flows., , , und . IEEE Des. Test Comput., 26 (4): 88-95 (2009)Statistical Verification of Probabilistic Properties with Unbounded Until., , und . SBMF, Volume 6527 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2010)Model Checking: Software and Beyond., und . J. Univers. Comput. Sci., 13 (5): 639-649 (2007)