Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}