Some publications by Thomas A. Henzinger
Articles in journal or book chapters
Thomas A. Henzinger,
and Rupak Majumdar.
The Software Model Checker Blast: Applications to Software Engineering..
Int. Journal on Software Tools for Technology Transfer,
Note: Invited to special issue of selected papers from FASE 2005.
This document was translated from BibTEX by