Analysis of three hybrid systems in timed µCRL

Research output: Contribution to journal › Article › Academic › peer-review

9 Citations (Scopus)

Original language	English
Pages (from-to)	215-247
Journal	Science of Computer Programming
Volume	39
Issue number	2-3
DOIs	https://doi.org/10.1016/S0167-6423(00)00010-1
Publication status	Published - 2001

Access to Document

@article{620bf1c7b34f499ead5f6e22140c55c6,

title = "Analysis of three hybrid systems in timed µCRL",

author = "J.F. Groote and \{Wamel, van\}, J.J.",

year = "2001",

doi = "10.1016/S0167-6423(00)00010-1",

language = "English",

volume = "39",

pages = "215--247",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "2-3",

}