Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2008 | Published | Book Chapter | IST-REx-ID: 4371
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View | DOI
 

Filters and Search Terms

isbn=9783540781264

Search

Filter Publications

  • Display / Sort

    Export / Embed