%0 Conference Paper %1 conf/sbac-pad/BarretoTMOALCM05 %A Barreto, Raimundo S. %A Tavares, Eduardo %A Maciel, Paulo Romero Martins %A Jr., Meuse N. Oliveira %A Amorim, Leonardo %A Lima, Ricardo Massa Ferreira %A Carvalho, Cesar %A Mello, Carlos A. B. %B SBAC-PAD %D 2005 %I IEEE Computer Society %K dblp %P 184-192 %T A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. %U http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2005.html#BarretoTMOALCM05 %@ 0-7695-2446-X

@inproceedings{conf/sbac-pad/BarretoTMOALCM05, added-at = {2023-08-24T00:00:00.000+0200}, author = {Barreto, Raimundo S. and Tavares, Eduardo and Maciel, Paulo Romero Martins and Jr., Meuse N. Oliveira and Amorim, Leonardo and Lima, Ricardo Massa Ferreira and Carvalho, Cesar and Mello, Carlos A. B.}, biburl = {https://www.bibsonomy.org/bibtex/2924747810312e35efb0457a6f0790788/dblp}, booktitle = {SBAC-PAD}, crossref = {conf/sbac-pad/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/CAHPC.2005.10}, interhash = {6588a74c66c6a00147759e26c462fcb6}, intrahash = {924747810312e35efb0457a6f0790788}, isbn = {0-7695-2446-X}, keywords = {dblp}, pages = {184-192}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:36:05.000+0200}, title = {A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.}, url = {http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2005.html#BarretoTMOALCM05}, year = 2005 }