Product Description
ISBN: 9783642243097
TITLE: Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings : 6919
AUTHOR: Uli Fahrenberg
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 12 Sep 2011