Search results for: Jozef Hooman
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Submitted Presentations > 606-623
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Process Algebra > 270-284
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Protocol Verification > 231-246
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 19-40
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 488-510
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 113-127
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 96-110