R. Kurki-Suonio, M. Katara, "Real Time in a TLA-Based Theory of Reactive Systems," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 186, The First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.

@article{ 10.1109/ISORC.1998.666788,
author = {R. Kurki-Suonio and M. Katara},
title = {Real Time in a TLA-Based Theory of Reactive Systems},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {1998},
isbn = {0-8186-8430-5},
pages = {186},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.1998.666788},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Real Time in a TLA-Based Theory of Reactive Systems
SN - 0-8186-8430-5
SP
EP
A1 - R. Kurki-Suonio,
A1 - M. Katara,
PY - 1998
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -