CaltechAUTHORS
  A Caltech Library Service

Browse by Eprint ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Braman, Julia M. B. and Murray, Richard M. (2011) Bisimulation conversion and verification procedure for goal-based control systems. Formal Methods in System Design, 38 (1). pp. 62-95. ISSN 0925-9856 . http://resolver.caltech.edu/CaltechAUTHORS:20110308-123056956

This list was generated on Sat Apr 22 22:37:36 2017 PDT.