Real Time in a TLA-Based Theory of Reactive Systems

R. Kurki-Suonio; M. Katara

Real Time in a TLA-Based Theory of Reactive Systems

R. Kurki-Suonio
, M. Katara

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

Translated title of the contribution	Real Time in a TLA-Based Theory of Reactive Systems
Original language	English
Title of host publication	Proceedings, the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC '98, April 20-22, 1998, Kyoto, Japan
Place of Publication	Los Alamitos, California
Publisher	IEEE Computer Society
Pages	186-195
ISBN (Print)	0-8186-8430-5
Publication status	Published - 1998
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{257cb17d695c456babeaed91b1d2eaca,

title = "Real Time in a TLA-Based Theory of Reactive Systems",

author = "R. Kurki-Suonio and M. Katara",

note = "ISBN 0-8186-8430-5<br/>Contribution: organisation=ohj,FACT1=1",

year = "1998",

language = "English",

isbn = "0-8186-8430-5",

pages = "186--195",

booktitle = "Proceedings, the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC '98, April 20-22, 1998, Kyoto, Japan",

publisher = "IEEE Computer Society",

address = "United States",

}

Real Time in a TLA-Based Theory of Reactive Systems. / Kurki-Suonio, R.; Katara, M.
Proceedings, the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC '98, April 20-22, 1998, Kyoto, Japan. Los Alamitos, California: IEEE Computer Society, 1998. p. 186-195.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Real Time in a TLA-Based Theory of Reactive Systems

AU - Kurki-Suonio, R.

AU - Katara, M.

N1 - ISBN 0-8186-8430-5<br/>Contribution: organisation=ohj,FACT1=1

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 0-8186-8430-5

SP - 186

EP - 195

BT - Proceedings, the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC '98, April 20-22, 1998, Kyoto, Japan

PB - IEEE Computer Society

CY - Los Alamitos, California

ER -