Product Description
ISBN: 9783642043673
TITLE: Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings : 5813
AUTHOR: Joel Ouaknine
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 7 Sep 2009