Showing 1 - 2 results of 2 for search 'Hinchey, Michael G', query time: 0.02s Refine Results
  1. 1
    Agent technology from a formal perspective /

    Agent technology from a formal perspective / by Rouff , Christopher A., Hinchey, Michael G. (Michael Gerard), 1969-

    Published 2006
  2. 2
    Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/

    Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ by International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), Butler, Michael G., Hinchey, Michael G, Larrondo-Petrie, Maria M

    Published 2007
    Get full text

Search Tools: