Optimized symbolic model checking for component-based systems.

Published in: ICCI*CC (2014)

Keyphrases