Formal modeling and analysis of timed systems: 9th international conference, FORMATS 2011, Aalbo… by Fahrenberg, Uli, Tripakis, Stavros, International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS, Aalborg, Denmark) fromLecture Notes in Computer Science 0 Type: Book
