Autor der Publikation

A Problem-Reduction Approach to Proving Simulation Between Programs.

, und . IEEE Trans. Software Eng., 2 (2): 87-96 (1976)

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

Using Machine Descriptions in Program Verification., , und . Jerusalem Conference on Information Technology, Seite 515-522. (1978)LSS: A system for production logic synthesis., , , , und . IBM Journal of Research and Development, 44 (1): 157-166 (2000)LSS: A System for Production Logic Synthesis., , , , und . IBM Journal of Research and Development, 28 (5): 537-545 (1984)Logic Synthesis Through Local Transformations., , , und . IBM Journal of Research and Development, 25 (4): 272-280 (1981)Verification of Protocols Using Symbolic Execution., und . Computer Networks, (1978)A Problem-Reduction Approach to Proving Simulation Between Programs., und . IEEE Trans. Software Eng., 2 (2): 87-96 (1976)Resolution Strategies as Decision Procedures.. J. ACM, 23 (3): 398-417 (1976)A new look at logic synthesis., und . DAC, Seite 543-549. ACM/IEEE, (1980)Were the good old days all that good?: EDA then and now., , , , , , , und . DAC, Seite 543. ACM, (2004)Global Flow Analysis in Automatic Logic Design., , und . IEEE Trans. Computers, 35 (1): 77-81 (1986)