Bengi Karacali

Karacali, B., & Tai, K. C. (2000). Model checking based on simultaneous reachability analysis. In SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 (Vol. 1885, pp. 34–53). Berlin; New York: Springer.