selected publications
-
academic article
- Balancing the Load. Journal of Automated Reasoning. 42:389-454. 2009
-
chapter
- Formal Verification of Gate-Level Computer Systems. Springer eBooks. 322-333. 2009
Close
Hillebrand, Mark
Publications
Contact
full name
- Mark Hillebrand
Publications in VIVO
Co-author Network
Map of Science