Compositional verification of distributed real-time systems

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings Workshop on Real-Time Systems (York, UK, September 1989)
Publication statusPublished - 1989

Cite this

Hooman, J. J. M. (1989). Compositional verification of distributed real-time systems. In Proceedings Workshop on Real-Time Systems (York, UK, September 1989)
Hooman, J.J.M. / Compositional verification of distributed real-time systems. Proceedings Workshop on Real-Time Systems (York, UK, September 1989). 1989.
@inproceedings{395942eb0b78455399fa14becf462ac6,
title = "Compositional verification of distributed real-time systems",
author = "J.J.M. Hooman",
year = "1989",
language = "English",
booktitle = "Proceedings Workshop on Real-Time Systems (York, UK, September 1989)",

}

Hooman, JJM 1989, Compositional verification of distributed real-time systems. in Proceedings Workshop on Real-Time Systems (York, UK, September 1989).

Compositional verification of distributed real-time systems. / Hooman, J.J.M.

Proceedings Workshop on Real-Time Systems (York, UK, September 1989). 1989.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Compositional verification of distributed real-time systems

AU - Hooman, J.J.M.

PY - 1989

Y1 - 1989

M3 - Conference contribution

BT - Proceedings Workshop on Real-Time Systems (York, UK, September 1989)

ER -

Hooman JJM. Compositional verification of distributed real-time systems. In Proceedings Workshop on Real-Time Systems (York, UK, September 1989). 1989