Search results for: Roope Kaivola
Lecture Notes in Computer Science > CONCUR '91 > 361-375
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Invited Talks > 1-1
Lecture Notes in Computer Science > Computer Aided Verification > Verification of Hardware, Microcode, and Synchronous Systems > 170-184
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Joint Session with TPHOLs > 196-211
Lecture Notes in Computer Science > CONCUR '92 > 207-221
2013 Formal Methods in Computer-Aided Design > 97 - 104
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 3 > 323-334
Theoretical Computer Science > 1998 > 190 > 1 > 41-60