Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

TitleFormal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Publication TypeConference Proceedings
Year of Conference2013
EditorBraberman, VA, Fribourg, L
Conference NameFORMATS
Series TitleLecture Notes in Computer Science
Volume8053
PublisherSpringer
ISBN Number978-3-642-40228-9
Work Package: 
WP1