Jan Friso Groote, Jos van Wamel. Analysis of three hybrid systems in timed µCRL. Science of Computer Programming, 39(2-3):215-247, 2001.
@article{GrooteW01,
title = {Analysis of three hybrid systems in timed µCRL},
author = {Jan Friso Groote and Jos van Wamel},
year = {2001},
tags = {analysis},
researchr = {https://researchr.org/publication/GrooteW01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {39},
number = {2-3},
pages = {215-247},
}