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