L. de Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science. Springer, 2004. To appear. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model Checking Discounted Temporal Properties - de Alfaro, Faella, Henzinger, .. (2003) (2 citations) Self-citation (De alfaro Faella Henzinger Majumdar Stoelinga) (Correct)
No context found.
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. Technical Report UCSC-CRL-03-12, University of California, Santa Cruz, 2003.
Model Checking Discounted Temporal Properties - de Alfaro, Faella, Henzinger, .. (2003) (2 citations) Self-citation (De alfaro Faella Henzinger Majumdar Stoelinga) (Correct)
No context found.
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. Technical Report UCSC-CRL-03-12, University of California, Santa Cruz, 2003.
QAPL 2004 Preliminary Version - Quantitative Calculus And (Correct)
No context found.
L. de Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science. Springer, 2004. To appear.
Quantitative μ-calculus and CTL defined over.. - Lluch-Lafuente, Montanari (2005) (Correct)
No context found.
de Alfaro, L., M. Faella, T. A. Henzinger, R. Majumdar and M. Stoelinga, Model checking discounted temporal properties, in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 2988 (2004), pp. 77--92.
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