"The Size of BDDs and Other Data Structures in Temporal Logics Model Checking."

Andrea Ferrara, Paolo Liberatore, Marco Schaerf (2016)

Details and statistics

DOI: 10.1109/TC.2015.2512872

access: closed

type: Journal Article

metadata version: 2019-09-25