@inbook{karacali_tai_2000, title={Model checking based on simultaneous reachability analysis}, volume={1885}, ISBN={3540410309}, booktitle={SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000}, publisher={Berlin; New York: Springer}, author={Karacali, B. and Tai, K. C.}, year={2000}, pages={34–53} }