7418705
9783642043673
Ouaknine, Joel is the author of 'Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture ... Computer Science and General Issues)', published 2009 under ISBN 9783642043673 and ISBN 3642043674.
[read more]