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