Search Results - Henzinger, T. A. Thomas A.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

    Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

    Published 2010
    Other Authors:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: