111
Voted
FORMATS
2008
Springer
15 years 9 days 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...