Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Generalization strategies for the verification of infinite state systems. TPLP, 13(2):175-199, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.