Jozef Hooman

2 books • 2 series

Nov 26, 2001
Cover of Concurrency Verification

Concurrency Verification (Cambridge Tracts in Theoretical Computer Science)

Nov 1, 1991
Cover of Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, #558)