Search Results

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
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
    Click Here to View Status and Holdings.
    Conference Proceeding

    Save to List
    Saved in:
  2. 2
    An introduction to practical formal methods using temporal logic

    An introduction to practical formal methods using temporal logic by Fisher, Michael 1962-

    Published 2011
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: