joel ouaknine
Reachability Problems
Print on DemandInhaltsangabeComplexity Bounds for Ordinal-Based Termination.- On The Complexity of Bounded Time ...
Formal Modeling and Analysis of Timed Systems
Print on DemandThis book constitutes the refereed proceedings of the 7th International Conference on Formal Mode...
- 1