Checking temporal properties of discrete, timed and continuous behaviors

Maler O, Nickovic D, Pnueli A. 2008.Checking temporal properties of discrete, timed and continuous behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.

Download
No fulltext has been uploaded. References only!

DOI
Book Chapter | Published
Author
Maler, Oded; Nickovic, DejanIST Austria; Pnueli,Amir
Series Title
LNCS
Publishing Year
Date Published
2008-03-11
Book Title
Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Page
475 - 505
IST-REx-ID

Cite this

Maler O, Nickovic D, Pnueli A. Checking temporal properties of discrete, timed and continuous behaviors. In: Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer; 2008:475-505. doi:1566
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking temporal properties of discrete, timed and continuous behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/1566
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008. https://doi.org/1566.
O. Maler, D. Nickovic, and A. Pnueli, “Checking temporal properties of discrete, timed and continuous behaviors,” in Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
Maler O, Nickovic D, Pnueli A. 2008.Checking temporal properties of discrete, timed and continuous behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:1566.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar