( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing Delay Insensitive Circuits from Verified Programs.

, , и . Research Directions in High-Level Parallel Programming Languages, том 574 из Lecture Notes in Computer Science, стр. 326-337. Springer, (1991)

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.

Jørgen Skov Sørensen

Anders Jørgen Bjørndalen

Hans-Jørgen Schanz

Jörgen Norén

Jörgen Haalck

 

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

Design of delay insensitive circuits using multi-ring structures., , и . EURO-DAC, стр. 15-20. IEEE Computer Society Press, (1992)Introduction.. Program Specification, том 134 из Lecture Notes in Computer Science, стр. 1-4. Springer, (1981)Partial Model Checking with ROBDDs., , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 35-49. Springer, (1997)Tutorial on Design Verification with Synchronized Transitions., и . TPCD, том 901 из Lecture Notes in Computer Science, стр. 239-257. Springer, (1994)Synthesizing Delay Insensitive Circuits from Verified Programs., , и . Research Directions in High-Level Parallel Programming Languages, том 574 из Lecture Notes in Computer Science, стр. 326-337. Springer, (1991)From High-Level Descriptions to VLSI Circuits., и . BIT, 28 (3): 620-638 (1988)Analysis of concurrent algorithms.. CONPAR, том 111 из Lecture Notes in Computer Science, стр. 217-230. Springer, (1981)A Comparison of Modular Verification Techniques., , и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 550-564. Springer, (1997)Design Verification Using Synchronized Transitions.. Formal Hardware Verification, том 1287 из Lecture Notes in Computer Science, стр. 114-155. Springer, (1997)A formal approach to hardware design.. The Kluwer international series in engineering and computer science Kluwer, (1994)