Specifying real-time properties with metric temporal logic
Work
Year: 1990
Type: article
Source: Real-Time Systems
Author Ron Koymans
Institution Philips (Netherlands)
Cites: 47
Cited by: 1,164
Related to: 10
FWCI: 20.5
Citation percentile (by year/subfield): 99.17
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed