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.
Abstract is missing.