dblp.uni-trier.dewww.uni-trier.de

Francisco Supino Marcondes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EEFrancisco Supino Marcondes, Emilia de Menezes Colonese, Ítalo Santiago Vega, Luiz Alberto Vieira Dias: Proposing a Formal Method to Reduce RTS Logical Model Complexity. ITNG 2008: 645-650

Coauthor Index

1Emilia de Menezes Colonese [1]
2Luiz Alberto Vieira Dias [1]
3Ítalo Santiago Vega [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)