Publications
4 shownModel-checking for real-time systems
This research extends CTL model-checking to the analysis of real-time systems, whose correctness depends on the magnitudes of the timing delays. For specifications, the syntax o...
Frequent Co-Authors
Researcher Info
- h-index
- 4
- Publications
- 4
- Citations
- 10,009
- Institution
- Stanford University
External Links
Impact Metrics
h-index
4
h-index: Number of publications with at least h citations each.