( en | de | ru )

 

Disambiguation of "Staunstrup, Jørgen"

Author of the publication

copydeleteadd this publication to your clipboard
Design of delay insensitive circuits using multi-ring structures.

, , and . EURO-DAC, page 15-20. IEEE Computer Society Press, (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.

Jørgen Skov Sørensen

Anders Jørgen Bjørndalen

Hans-Jørgen Schanz

Jörgen Ringenberg

Jörgen Radke

 

Other publications of authors with the same name

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