%0 Conference Paper %1 conf/agp/ProvettiR97 %A Provetti, Alessandro %A Rossi, Gianfranco %B APPIA-GULP-PRODE %D 1997 %E Falaschi, Moreno %E Navarro, Marisa %E Policriti, Alberto %K dblp %P 381-392 %T Action Specifications in log. %U http://dblp.uni-trier.de/db/conf/agp/agp1997.html#ProvettiR97

@inproceedings{conf/agp/ProvettiR97, added-at = {2019-03-28T00:00:00.000+0100}, author = {Provetti, Alessandro and Rossi, Gianfranco}, biburl = {https://www.bibsonomy.org/bibtex/2d898da78873bc1ab676fe742693a6e39/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1997}, editor = {Falaschi, Moreno and Navarro, Marisa and Policriti, Alberto}, interhash = {6db0da789b1b379f4cfdd040bafe60c4}, intrahash = {d898da78873bc1ab676fe742693a6e39}, keywords = {dblp}, pages = {381-392}, timestamp = {2019-03-29T11:37:41.000+0100}, title = {Action Specifications in log.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1997.html#ProvettiR97}, year = 1997 }