%0 Conference Paper %1 conf/caine/RiescoMUSGD02 %A Riesco, Daniel %A Montejano, German %A Uzal, Robert %A Sanchez, Alejandro %A Garis, Ana Gabriela %A Debnath, Narayan C. %B CAINE %D 2002 %E Subramanya, S. R. %I ISCA %K dblp %P 248-251 %T Structuring a Formal Specification starting from Process Modeling. %U http://dblp.uni-trier.de/db/conf/caine/caine2002.html#RiescoMUSGD02 %@ 1-880843-45-5

@inproceedings{conf/caine/RiescoMUSGD02, added-at = {2006-09-26T00:00:00.000+0200}, author = {Riesco, Daniel and Montejano, German and Uzal, Robert and Sanchez, Alejandro and Garis, Ana Gabriela and Debnath, Narayan C.}, biburl = {https://www.bibsonomy.org/bibtex/29cd8226512244c5f4a8b53baaa7d9fa5/dblp}, booktitle = {CAINE}, crossref = {conf/caine/2002}, date = {2006-09-26}, description = {dblp}, editor = {Subramanya, S. R.}, interhash = {1f1fc6ecd86f80c708f8f5de1b11555f}, intrahash = {9cd8226512244c5f4a8b53baaa7d9fa5}, isbn = {1-880843-45-5}, keywords = {dblp}, pages = {248-251}, publisher = {ISCA}, timestamp = {2006-09-26T00:00:00.000+0200}, title = {Structuring a Formal Specification starting from Process Modeling.}, url = {http://dblp.uni-trier.de/db/conf/caine/caine2002.html#RiescoMUSGD02}, year = 2002 }