@inproceedings{conf/sbac-pad/BarretoTMOALCM05,
title = {A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.},
author = {Raimundo Barreto and Eduardo Tavares and Paulo Romero Martins Maciel and Meuse N. Oliveira Jr. and Leonardo Amorim and Ricardo Lima and Cesar Carvalho and Carlos Mello},
booktitle = {SBAC-PAD},
crossref = {conf/sbac-pad/2005},
pages = {184-192},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2005.html#BarretoTMOALCM05},
year = {2005},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/CAHPC.2005.10}, date = {2008-05-09},
keywords = {dblp }
}
::