1.
Formal Modeling and Analysis of Timed Systems 4th International Conference, Formats 2006, Pa...
by Asarin, E. A., Bouyer, Patr...
ISBN: 9783540450269
List Price: $72.00
2.
Foundations of Software Science and Computation Structures : 25th International Conference, ...
by Bouyer, Patricia, Schr�der,...
ISBN: 9783030992521