On the Completeness and Decidability of Duration Calculus with Iteration

Research output: Contribution to journal › Article

7 Citations (Scopus)

Original language	English
Pages (from-to)	278-304
Number of pages	27
Journal	Theoretical Computer Science
Volume	337
DOIs	https://doi.org/10.1016/j.tcs.2005.01.017
Publication status	Published - 9 Jun 2005

Access to Document

@article{1ee18cec52ea46f999ca284ed286e72e,

title = "On the Completeness and Decidability of Duration Calculus with Iteration",

author = "Dimitar Guelev and DV Hung",

year = "2005",

month = jun,

day = "9",

doi = "10.1016/j.tcs.2005.01.017",

language = "English",

volume = "337",

pages = "278--304",

journal = "Theoretical Computer Science",

publisher = "Elsevier",

}

TY - JOUR

T1 - On the Completeness and Decidability of Duration Calculus with Iteration

AU - Guelev, Dimitar

AU - Hung, DV

PY - 2005/6/9

Y1 - 2005/6/9

UR - https://www.scopus.com/pages/publications/18444380883

U2 - 10.1016/j.tcs.2005.01.017

DO - 10.1016/j.tcs.2005.01.017

M3 - Article

VL - 337

SP - 278

EP - 304

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -