Metric Semantics for True Concurrent Real Time

@article{baier1998,
  title = {Metric Semantics for True Concurrent Real Time},
  author = {Christel Baier and Joost-Pieter Katoen and Diego Latella},
  journal = {ICALP},
  year = {1998},
  month = {Jan},
  doi = {10.1007/bfb0055085},
  url = {https://doi.org/10.1007/bfb0055085},
}

Christel Baier et al. (1998). Metric Semantics for True Concurrent Real Time. ICALP. https://doi.org/10.1007/bfb0055085

Christel Baier, et al.. "Metric Semantics for True Concurrent Real Time." ICALP, 1998, https://doi.org/10.1007/bfb0055085.

Christel Baier, et al.. "Metric Semantics for True Concurrent Real Time." ICALP (1998). https://doi.org/10.1007/bfb0055085

Christel Baier et al., 1998. Metric Semantics for True Concurrent Real Time. ICALP. Available at: <https://doi.org/10.1007/bfb0055085>.

TY  - JOUR
TI  - Metric Semantics for True Concurrent Real Time
AU  - Christel Baier
AU  - Joost-Pieter Katoen
AU  - Diego Latella
PY  - 1998
JO  - ICALP
DO  - 10.1007/bfb0055085
UR  - https://doi.org/10.1007/bfb0055085
ER  -