148
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...