@CONFERENCE\{IMM2007-05325,
    author       = "R. Sharp and M. R. Hansen",
    title        = "Timed Traces and Strand Spaces",
    year         = "2007",
    pages        = "373-386",
    booktitle    = "{CSR} 2007",
    volume       = "4649",
    series       = "LNCS",
    editor       = "V. Dickert, M. Volkov and A. Voronkov",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5325-full.html"
}