Jürgen Ruf, Thomas Kropf. Modeling Real-Time Systems with I/O-Interval Structures. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 91-100, Shaker, 1999.
@inproceedings{RufK99-0,
title = {Modeling Real-Time Systems with I/O-Interval Structures},
author = {Jürgen Ruf and Thomas Kropf},
year = {1999},
researchr = {https://researchr.org/publication/RufK99-0},
cites = {0},
citedby = {0},
pages = {91-100},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999},
editor = {Matthias Mutz and Nikolaus Lange},
publisher = {Shaker},
}