S. Campos and E. M. Clarke. Analysis and verification of real-time systems using quantitative symbolic algorithms. Journal of Software Tools for Technology Transfer, 2(3):260--269, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Symbolic Model Checking of Simply-Timed Systems - Markey, Schnoebelen (2003) (Correct)
No context found.
S. Campos and E. M. Clarke. Analysis and verification of real-time systems using quantitative symbolic algorithms. Journal of Software Tools for Technology Transfer, 2(3):260--269, 1999.
The practitioner's guide to coloured Petri nets - Kristensen, Christensen, Jensen (1998) (9 citations) (Correct)
No context found.
Campos, S., Clarke, E.: Analysis and Verification of Real-time Systems using Quantitative Symbolic Algorithms. Software Tools for Technology Transfer, To appear.
DynaMICs: Comprehensive Support for Run-Time Monitoring - Gates, Roach, Mondragon.. (2001) (5 citations) (Correct)
No context found.
Campos, S., and E. Clarke, "Analysis and Verification of Real-time Systems Using Quantitative Symbolic Algorithms," Journal of Software Tools for Technology Transfer, 2(1999).
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