TACAS 1996Early Fault Detection ToolsGerard J. HolzmannDOI 10.1007/3-540-61042-1_34dblpBibTeXNo abstract available.