Author of the publication

Formal Tools in Tri-State Design in Busses.

, , , and . TPHOLs, volume A-20 of IFIP Transactions, page 459-475. North-Holland/Elsevier, (1992)

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

Automated interactive software verification and synthesis.. Brunel University London, UK, (1992)British Library, EThOS.Formal Design Techniques - Theory and Engineering Reality., , and . Asian Test Symposium, page 394-398. IEEE Computer Society, (1998)Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems., and . FPL, volume 849 of Lecture Notes in Computer Science, page 135-137. Springer, (1994)Formal Tools in Tri-State Design in Busses., , , and . TPHOLs, volume A-20 of IFIP Transactions, page 459-475. North-Holland/Elsevier, (1992)Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.. CAV, volume 1254 of Lecture Notes in Computer Science, page 3-6. Springer, (1997)CheckOff-M: model checking and its role in IP.. CHARME, volume 105 of IFIP Conference Proceedings, page 217. Chapman & Hall, (1997)Formal Methods and Their Future., , , , and . EUROCAST, volume 763 of Lecture Notes in Computer Science, page 180-189. Springer, (1993)Design-Flow and Synthesis for ASICs: A Case Study., , , , , and . DAC, page 292-297. ACM Press, (1995)Design-Flow Graph Partitioning., and . TPHOLs, volume A-20 of IFIP Transactions, page 395-404. North-Holland/Elsevier, (1992)