![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Fundamentals of Computation Theory Volume 965 || Model-checking for real-time systems
Reichel, HorstVolume:
10.1007/3-
Year:
1995
Language:
english
DOI:
10.1007/3-540-60249-6_41
File:
PDF, 1.36 MB
english, 1995