@CONFERENCE\{IMM1992-01885,
    author       = "M. R. Hansen and Z. Chaochen",
    title        = "Semantics and Completeness of Duration Calculus",
    year         = "1992",
    pages        = "209-225",
    booktitle    = "Real-Time: Theory in Practice, {REX} Workshop",
    volume       = "600",
    series       = "LNCS",
    editor       = "J.\verb+~+W.\verb+~+de\verb+~+Bakker and C.\verb+~+Huizing and W.-P.\verb+~+de\verb+~+Roever and G.\verb+~+Rozenberg",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1885-full.html"
}