1996
Conference article
Unknown
On specifying real-time systems in a causality-based setting
Katoen J. P., Latella D, Langerak R, Brinksma E
Source: 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 385–404, Uppsala, 1996
Publisher: Springer-Verlag Berlin, Berlin, DEU
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 J. P. and Latella D and Langerak R and Brinksma E},
publisher = {Springer-Verlag Berlin, Berlin, DEU},
booktitle = {4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 385–404, Uppsala, 1996},
year = {1996}
}
0000-0002-3257-9059CNR ExploRA