FORMATS 2008 Books
Formal Modeling And Analysis Of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
By Franck Cassez, Joël Ouaknine, James Worrell (Auth.), Franck Cassez, Claude Jard (Eds.), FORMATS 2008
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17...
Read More