Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hooman, Jozef - Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen
[1] J. Hooman and W.P. de Roever. The quest goes on: a survey of proof systems for partial correctness of CSP. In Current Trends in Concurrency, pages 343395. LNCS
Using Timed Automata to Specify and Verify Real-Time Jozef Hooman
Process Algebra in PVS Twan Basten & Jozef Hooman
Mechanical Veri cation of a Non-Blocking Atomic Commitment Protocol
