%0 Conference Paper %1 conf/agp/CimatoM96 %A Cimato, Stelvio %A Mascolo, Cecilia %B APPIA-GULP-PRODE %D 1996 %E Lucio, Paqui %E Martelli, Maurizio %E Navarro, Marisa %K dblp %P 295-308 %T Analyzing and Animating Declarative Specifications. %U http://dblp.uni-trier.de/db/conf/agp/agp1996.html#CimatoM96

@inproceedings{conf/agp/CimatoM96, added-at = {2004-12-02T00:00:00.000+0100}, author = {Cimato, Stelvio and Mascolo, Cecilia}, biburl = {https://www.bibsonomy.org/bibtex/2ed0d0bf8ff8268814d8c869271bf351e/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1996}, date = {2004-12-02}, description = {dblp}, editor = {Lucio, Paqui and Martelli, Maurizio and Navarro, Marisa}, interhash = {1ddc68f6a6fe516abe796ddccf53ea94}, intrahash = {ed0d0bf8ff8268814d8c869271bf351e}, keywords = {dblp}, pages = {295-308}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {Analyzing and Animating Declarative Specifications.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1996.html#CimatoM96}, year = 1996 }