M | |
---|---|
[MN04] | Oded Maler et
Dejan Nickovic.
Monitoring Temporal Properties of Continuous
Signals.
In FORMATS-FTRTFT'04,
Lecture Notes in Computer Science 3253, pages 152-166. Springer-Verlag, septembre 2004.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1