I

IADIS

• in: Bordbar B. and Anastasakis K.
  "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005)
• in: Bordbar B. and Anastasakis K.
  "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005)

IEEE

in: Anastasakis K., Bordbar B., Georg G. and Ray I.
"UML2Alloy: A Challenging Model Transformation" (2007) 

International

• in: Anastasakis K., Bordbar B., Georg G. and Ray I.
  "UML2Alloy: A Challenging Model Transformation" (2007)
• in: Bordbar B. and Anastasakis K.
  "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005)

Isaías P.

in: Bordbar B. and Anastasakis K.
"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems." (2005) 

Submit a bug

This document was generated by bib2html 6.1.
Copyright © 1998-2007 Stephane GALLAND (under the GNU General Public License)