1996
Conference article
Metadata Only Access
On specifying real-time systems in a causality-based setting
Katoen Jp, Latella D, Langerak R, Brinksma E
Publisher: Springer-Verlag Berlin
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:190735,
title = {On specifying real-time systems in a causality-based setting},
author = {Katoen Jp and Latella D and Langerak R and Brinksma E},
publisher = {Springer-Verlag Berlin},
year = {1996}
}
0000-0002-3257-9059CNR IRIS