A. Parashkevov and J. Yantchev, "Space Efficient Reachability Analysis Through Use of Pseudo-Root States," Proceedings of Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'97, Twente, The Netherlands, 1997.  Home/Search   Document Details and Download   Context   Related Articles

This paper is cited by the following papers:

Communication and Synchronization Using Bounded Channels in .. - Ashenden, Esser, Wilsey (1999)   (2 citations)  (Correct)

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