1
Formal Methods and Software Engineering [E-Book] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
2
Innovative Concepts for Autonomic and Agent-Based Systems [E-Book] / Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
3
Formal Approaches to Agent-Based Systems [E-Book] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
4
Formal Approaches to Agent-Based Systems [E-Book] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
5
Formal Approaches to Agent-Based Systems [E-Book] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers /
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
6
ZUM '98: The Z Formal Specification Notation [E-Book] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:
7
ZUM'97: The Z Formal Specification Notation [E-Book] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
Other Personal Name(s): “...Hinchey, Michael G....”

Full text 
Favorites
Saved in:

Narrow Search Results