Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/agp/BoerGM01
%A de Boer, Frank S.
%A Gabbrielli, Maurizio
%A Meo, Maria Chiara
%B APPIA-GULP-PRODE
%D 2001
%E Pereira, Luís Moniz
%E Quaresma, Paulo
%I Departamento de Informática, Universidade de Évora
%K dblp
%P 213-228
%T Proving correctness of timed concurrent constraint programs.
%U http://dblp.uni-trier.de/db/conf/agp/agp2001.html#BoerGM01
@inproceedings{conf/agp/BoerGM01,
added-at = {2020-03-12T00:00:00.000+0100},
author = {de Boer, Frank S. and Gabbrielli, Maurizio and Meo, Maria Chiara},
biburl = {https://www.bibsonomy.org/bibtex/29f2e656bcfb98224003867ac16a5573f/dblp},
booktitle = {APPIA-GULP-PRODE},
crossref = {conf/agp/2001},
editor = {Pereira, Luís Moniz and Quaresma, Paulo},
ee = {http://www.di.uevora.pt/~pq/agp01/finals/23.pdf},
interhash = {8bfb0fecd157a049d0bf34c16609d454},
intrahash = {9f2e656bcfb98224003867ac16a5573f},
keywords = {dblp},
pages = {213-228},
publisher = {Departamento de Informática, Universidade de Évora},
timestamp = {2020-03-13T12:41:20.000+0100},
title = {Proving correctness of timed concurrent constraint programs.},
url = {http://dblp.uni-trier.de/db/conf/agp/agp2001.html#BoerGM01},
year = 2001
}