Showing 1 - 2 of 2 Results
1.
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, B... by Ouaknine, Joel, Vaandrager,... ISBN: 9783642043673 List Price: $72.00
2.
Reachability Problems : 8th International Workshop, Rp 2014, Oxford, UK, September 22-24, 20... by Ouaknine, Joel, Potapov, Ig... ISBN: 9783319114408 List Price: $24.99