CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Integrating UML Activity Diagrams with Temporal Logic Expressions

@ 10th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2005),


Publisher: FEUP edições ( Portugal )


Date: June, 2005


Authors:

File Bottom