Bengi Karacal and Kuo-Chung Tai. Model checking based on simultaneous reachability analysis. In Klaus Havelund, John Penix, and Willem Visser, editors, SPIN Model Checking and Software Verification, 7 Notes in Computer Science, pages 34--53, Stanford, CA, USA, August 2000. Springer-Verlag, Berlin, Germany. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
No context found.
Bengi Karacal and Kuo-Chung Tai. Model checking based on simultaneous reachability analysis. In Klaus Havelund, John Penix, and Willem Visser, editors, SPIN Model Checking and Software Verification, 7 Notes in Computer Science, pages 34--53, Stanford, CA, USA, August 2000. Springer-Verlag, Berlin, Germany.
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
No context found.
Bengi Karacal and Kuo-Chung Tai. Model checking based on simultaneous reachability analysis. In Klaus Havelund, John Penix, and Willem Visser, editors, SPIN Model Checking and Software Verification, 7 Notes in Computer Science, pages 34--53, Stanford, CA, USA, August 2000. Springer-Verlag, Berlin, Germany.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC