Author of the publication

Equivalences for Fair Kripke Structures.

, , , , and . ICALP, volume 820 of Lecture Notes in Computer Science, page 364-375. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A vision for embedded software., and . CASES, page 1-7. ACM, (2001)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 7-12. Elsevier, (2018)A hierarchical coordination language for interacting real-time tasks., , , , and . EMSOFT, page 132-141. ACM, (2006)Chameleon: a new multi-layer channel router., , , , , , and . DAC, page 495-502. IEEE Computer Society Press, (1986)Mixed-level fault coverage estimation., and . DAC, page 553-559. IEEE Computer Society Press, (1986)Two-dimensional compaction by "zone refining"., , and . DAC, page 115-122. IEEE Computer Society Press, (1986)Conservative approximations for heterogeneous design., , and . EMSOFT, page 155-164. ACM, (2004)On-chip communication design: roadblocks and avenues., and . CODES+ISSS, page 75-76. ACM, (2003)Iterative Node Deployment in an Unknown Environment., , and . GLOBECOM, page 1-6. IEEE, (2009)Guest Editors' Introduction: Trends and Directions in Microelectronics., and . IEEE Micro, 23 (3): 6-7 (2003)