Buy This Article
From Springer.
Journal:
Symbolic Model Checking
Visit Journal Webpage