( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Are Cells Asynchronous Circuits? - (Invited Talk).

. VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 1. Springer, (2011)

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.

David L Dowdey

David L Weakliem

David L Largent

Marcus Dill

Johann Dill

 

Другие публикации лиц с тем же именем

Automatic Checking of Aggregation Abstractions Through State Enumeration., , и . FORTE, том 107 из IFIP Conference Proceedings, стр. 207-222. Chapman & Hall, (1997)Predictive Reachability Using a Sample-Based Approach., , , , и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 388-392. Springer, (2005)Self-Consistency Checking., , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 159-171. Springer, (1996)Monitor-Based Formal Specification of PCI., , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 335-353. Springer, (2000)Automatic verification of Pipelined Microprocessor Control., и . CAV, том 818 из Lecture Notes in Computer Science, стр. 68-80. Springer, (1994)Higher-Level Specification and Verification with BDDs., , , и . CAV, том 663 из Lecture Notes in Computer Science, стр. 82-95. Springer, (1992)Are Cells Asynchronous Circuits? - (Invited Talk).. VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 1. Springer, (2011)Automatic Generation of Invariants in Processor Verification., , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 377-388. Springer, (1996)A Generalization of Shostak's Method for Combining Decision Procedures., , и . FroCoS, том 2309 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2002)Timing analysis of asynchronous systems using time separation of events., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (8): 1061-1076 (1999)