Abelardo Pardo, Gary D. Hachtel. Incremental CTL Model Checking Using BDD Subsetting. In DAC. pages 457-462, 1998. [doi]
@inproceedings{PardoH98, title = {Incremental CTL Model Checking Using BDD Subsetting}, author = {Abelardo Pardo and Gary D. Hachtel}, year = {1998}, doi = {10.1145/277044.277171}, url = {http://doi.acm.org/10.1145/277044.277171}, tags = {model checking, meta-model, Meta-Environment, incremental}, researchr = {https://researchr.org/publication/PardoH98}, cites = {0}, citedby = {0}, pages = {457-462}, booktitle = {DAC}, }