Showing 1 - 2 results of 2 for search 'Martin, Andrew Kenneth', query time: 0.05s Refine Results
  1. 1
    Trace-automata : a formal framework for using abstraction to verify hybrid systems
    by Martin, Andrew Kenneth
    Published 2009
    Get full text
  2. 2
    Trace-automata : a formal framework for using abstraction to verify hybrid systems
    by Martin, Andrew Kenneth
    Published 2009
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search