1994
Contribution to book
Unknown
Performance analysis and true concurrency semantics
Brinksma E., Katoen J. P., Langerak R., Latella D.
Performance analysis True concurrency semantics
An abstract is not available.
Source: Theories and Experiences for Real-Time System Development, pp. 309–337. Singapore: World Scientific, 1994
Publisher: World Scientific, Singapore, SGP
Back to previous page
BibTeX entry
@inbook{oai:it.cnr:prodotti:190746,
title = {Performance analysis and true concurrency semantics},
author = {Brinksma E. and Katoen J. P. and Langerak R. and Latella D.},
publisher = {World Scientific, Singapore, SGP},
booktitle = {Theories and Experiences for Real-Time System Development, pp. 309–337. Singapore: World Scientific, 1994},
year = {1994}
}
0000-0002-3257-9059CNR ExploRA