![](/img/cover-not-exists.png)
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs
Sa’ed Abed, Otmane Ait Mohamed, Ghiath Al-SammaneVolume:
24
Language:
english
Pages:
20
DOI:
10.1007/s11390-009-9205-8
Date:
January, 2009
File:
PDF, 599 KB
english, 2009