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  \  External Talks & Seminars  \  External Talk Page Login  
   
banner bottom
File Top
Defining Behaviours by Quasi-Finality
(Research Talk)

By: Elisabete Freire


Date: 20 Aug 2009

Location/Event: Brazilian Symposium on Formal Methods (SBMF 2009) - Gramado, Brazil

url: http://labcom.inf.ufrgs.br/sbmf2009/index.php

File Bottom