%0 Conference Paper %1 conf/agp/PitaM97 %A Pita, Isabel %A Martí-Oliet, Narciso %B APPIA-GULP-PRODE %D 1997 %E Falaschi, Moreno %E Navarro, Marisa %E Policriti, Alberto %K dblp %P 369-380 %T Using Reflection to Specify Transaction Sequences in Rewriting Logic. %U http://dblp.uni-trier.de/db/conf/agp/agp1997.html#PitaM97

@inproceedings{conf/agp/PitaM97, added-at = {2005-05-18T00:00:00.000+0200}, author = {Pita, Isabel and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/2a818798d1764a79bca48e405b752809e/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1997}, date = {2005-05-18}, description = {dblp}, editor = {Falaschi, Moreno and Navarro, Marisa and Policriti, Alberto}, interhash = {429c1150b2f4df180c6fca017b5e81df}, intrahash = {a818798d1764a79bca48e405b752809e}, keywords = {dblp}, pages = {369-380}, timestamp = {2005-05-18T00:00:00.000+0200}, title = {Using Reflection to Specify Transaction Sequences in Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1997.html#PitaM97}, year = 1997 }