Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7595) (2012. 2012. X, 267 S. 235 mm)
  • 洋書