Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE 91 (2003) 100--111

 Home/Search   Document Details and Download   Summary   Related Articles  

This paper is cited in the following contexts:
A Global Timed Bisimulation Preserving Abstraction - For Parametric Time-Interval (2004)   (Correct)

No context found.

Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE 91 (2003) 100--111

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