%0 Conference Paper %1 conf/agp/EncisoGR94 %A Enciso, Manuel %A de Guzmán, Inman P. %A Rossi, Carlos %B GULP-PRODE (2) %D 1994 %E Alpuente, María %E Barbuti, Roberto %E Ramos, Isidro %K dblp %P 309-323 %T A Temporal Logic for Program Specification. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-2.html#EncisoGR94

@inproceedings{conf/agp/EncisoGR94, added-at = {2004-11-30T00:00:00.000+0100}, author = {Enciso, Manuel and de Guzmán, Inman P. and Rossi, Carlos}, biburl = {https://www.bibsonomy.org/bibtex/29d68131129fc8ed69d873fc30f1d9fa7/dblp}, booktitle = {GULP-PRODE (2)}, crossref = {conf/agp/1994-2}, date = {2004-11-30}, description = {dblp}, editor = {Alpuente, María and Barbuti, Roberto and Ramos, Isidro}, interhash = {f8726decd73f38149c4cd5ac4a18ccf3}, intrahash = {9d68131129fc8ed69d873fc30f1d9fa7}, keywords = {dblp}, pages = {309-323}, timestamp = {2004-11-30T00:00:00.000+0100}, title = {A Temporal Logic for Program Specification.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-2.html#EncisoGR94}, year = 1994 }