Reinhard Enders, Thomas Filkorn, Dirk Taubner. Generating BDDs for Symbolic Model Checking in CCS. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 203-213, Springer, 1991.
@inproceedings{EndersFT91,
title = {Generating BDDs for Symbolic Model Checking in CCS},
author = {Reinhard Enders and Thomas Filkorn and Dirk Taubner},
year = {1991},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/EndersFT91},
cites = {0},
citedby = {0},
pages = {203-213},
booktitle = {Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings},
editor = {Kim Guldstrand Larsen and Arne Skou},
volume = {575},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55179-4},
}