Overview
Book details: Formal Modeling and Analysis of Timed Systems: 11th International Conference, Formats 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings by author V??ctor Braberman, Published by Springer, in Paperback or Softback binding, 275 pages, ISBN 9783642402289