Inproceedings,
A Decision Method for Duration Calculus.
N. Chetcuti-Sperandio, and L. del Cerro.RelMiCS, page 31-44. (2000)
Meta data
- BibTeX key
- conf/RelMiCS/Chetcuti-SperandioC00
- entry type
- inproceedings
- booktitle
- RelMiCS
- year
- 2000
- pages
- 31-44
- crossref
- conf/RelMiCS/2000
- date
- 2002-01-03
- url
- http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2000.html#Chetcuti-SperandioC00
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/RelMiCS/Chetcuti-SperandioC00
%A Chetcuti-Sperandio, Nathalie
%A del Cerro, Luis Fariñas
%B RelMiCS
%D 2000
%E Desharnais, Jules
%K dblp
%P 31-44
%T A Decision Method for Duration Calculus.
%U http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2000.html#Chetcuti-SperandioC00
@inproceedings{conf/RelMiCS/Chetcuti-SperandioC00,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Chetcuti-Sperandio, Nathalie and del Cerro, Luis Fariñas},
biburl = {https://www.bibsonomy.org/bibtex/2ce8bcb200f73395a4fbef5099138590e/dblp},
booktitle = {RelMiCS},
crossref = {conf/RelMiCS/2000},
date = {2002-01-03},
description = {dblp},
editor = {Desharnais, Jules},
interhash = {c3f20894641ce6d426392e456ee0777b},
intrahash = {ce8bcb200f73395a4fbef5099138590e},
keywords = {dblp},
pages = {31-44},
timestamp = {2002-01-03T00:00:00.000+0100},
title = {A Decision Method for Duration Calculus.},
url = {http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2000.html#Chetcuti-SperandioC00},
year = 2000
}