Sachoun Park, Gihwon Kwon. Using Boolean Cardinality Constraint for LTS Bounded Model Checking. In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008. pages 537-542, Knowledge Systems Institute Graduate School, 2008.
@inproceedings{ParkK08:14,
title = {Using Boolean Cardinality Constraint for LTS Bounded Model Checking},
author = {Sachoun Park and Gihwon Kwon},
year = {2008},
tags = {model checking, meta-model, constraints, Meta-Environment},
researchr = {https://researchr.org/publication/ParkK08%3A14},
cites = {0},
citedby = {0},
pages = {537-542},
booktitle = {Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008},
publisher = {Knowledge Systems Institute Graduate School},
isbn = {1-891706-22-5},
}