83
Voted
ICALP
1992
Springer
15 years 1 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...