( en | de | ru )

 

Disambiguierung von "Camurati, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification and synthesis of counters based on symbolic techniques.

, , , und . ED&TC, Seite 176-181. IEEE Computer Society, (1997)

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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Imperia

 

Weitere Publikationen von Autoren mit dem selben Namen

A parallel approach to symbolic traversal based on set partitioning., , , , und . CHARME, Volume 105 von IFIP Conference Proceedings, Seite 167-184. Chapman & Hall, (1997)Symbolic exploration of large circuits with enhanced forward/backward traversals., , und . EURO-DAC, Seite 22-27. IEEE Computer Society, (1994)Decomposed symbolic forward traversals of large finite state machines., , und . EURO-DAC, Seite 170-175. IEEE Computer Society Press, (1996)A diagnostic test pattern generation algorithm., , , und . ITC, Seite 52-58. IEEE Computer Society, (1990)Efficient State Space Pruning in Symbolic Backward Traversal., , und . ICCD, Seite 230-235. IEEE Computer Society, (1994)Formal Verification of Hardware Correctness: Introduction and Survey of Current Research., und . Computer, 21 (7): 8-19 (1988)Symbolic traversals of data paths with auxiliary variables., , und . Great Lakes Symposium on VLSI, Seite 93-96. IEEE, (1994)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , und . EURO-DAC, Seite 306-311. IEEE Computer Society Press, (1992)SAT solver management strategies in IC3: an experimental approach., , , , und . Formal Methods Syst. Des., 50 (1): 39-74 (2017)Verification and synthesis of counters based on symbolic techniques., , , und . ED&TC, Seite 176-181. IEEE Computer Society, (1997)