Jürgen Ruf, Thomas Kropf. Analyzing Real-Time Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 243, IEEE Computer Society, 2000. [doi]
@inproceedings{RufK00,
title = {Analyzing Real-Time Systems},
author = {Jürgen Ruf and Thomas Kropf},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370243abs.htm},
researchr = {https://researchr.org/publication/RufK00},
cites = {0},
citedby = {0},
pages = {243},
booktitle = {2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-0537-6},
}