The size of BDDs and other data structures in temporal logics model checking
Ferrara, Andrea, Liberatore, Paolo, Schaerf, MarcoYear:
2015
Language:
english
Journal:
IEEE Transactions on Computers
DOI:
10.1109/TC.2015.2512872
File:
PDF, 285 KB
english, 2015