2 Ebooks por Joel Ouaknine
Joel Ouaknine & Igor Potapov: Reachability Problems
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully …
PDF
Inglês
DRM
€51.54
Joel Ouaknine & Frits W. Vaandrager: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 re …
PDF
Inglês
DRM
€57.76