Paperback Book
显示无货商品

Joel Ouaknine的作品

Cover for Joel Ouaknine · Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Reachability Problems: 8th Inter... (2014)

Cover for Joel Ouaknine · Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)

Formal Modeling and Analysis of ... (2009)