Ouaknine, Joel books & textbook
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings (Theoretical Computer Science and General Issues)
Ouaknine, Joel Potapov, Igor Worrell, James
Springer /2014-09-23 Paperback / 266 Pages
isbn-10: 3319114387 / isbn-13: 9783319114385
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5813)
Ouaknine, Joel Vaandrager, Frits W.
Springer /2009-09-07 Paperback / 301 Pages
isbn-10: 3642043674 / isbn-13: 9783642043673
