110
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...