Modelling stochastic timed systems

P.R. d' Argenio, H. Hermanns, Joost P. Katoen, J. Klaren

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationProceedings of the 2nd Workshop on Embedded Systems
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages-
Number of pages6
Publication statusPublished - 2001
Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
Duration: 18 Oct 200118 Oct 2001
Conference number: 2

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems 2001
Abbreviated titlePROGRESS
CountryNetherlands
CityVeldhoven
Period18/10/0118/10/01

Keywords

  • METIS-203953

Cite this

d' Argenio, P. R., Hermanns, H., Katoen, J. P., & Klaren, J. (2001). Modelling stochastic timed systems. In Proceedings of the 2nd Workshop on Embedded Systems (pp. -). Utrecht: STW Technology Foundation.
d' Argenio, P.R. ; Hermanns, H. ; Katoen, Joost P. ; Klaren, J. / Modelling stochastic timed systems. Proceedings of the 2nd Workshop on Embedded Systems. Utrecht : STW Technology Foundation, 2001. pp. -
@inproceedings{aa119ba6d36b40b4adfc3560e7161dac,
title = "Modelling stochastic timed systems",
keywords = "METIS-203953",
author = "{d' Argenio}, P.R. and H. Hermanns and Katoen, {Joost P.} and J. Klaren",
year = "2001",
language = "Undefined",
pages = "--",
booktitle = "Proceedings of the 2nd Workshop on Embedded Systems",
publisher = "STW Technology Foundation",

}

d' Argenio, PR, Hermanns, H, Katoen, JP & Klaren, J 2001, Modelling stochastic timed systems. in Proceedings of the 2nd Workshop on Embedded Systems. STW Technology Foundation, Utrecht, pp. -, 2nd PROGRESS Workshop on Embedded Systems 2001, Veldhoven, Netherlands, 18/10/01.

Modelling stochastic timed systems. / d' Argenio, P.R.; Hermanns, H.; Katoen, Joost P.; Klaren, J.

Proceedings of the 2nd Workshop on Embedded Systems. Utrecht : STW Technology Foundation, 2001. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Modelling stochastic timed systems

AU - d' Argenio, P.R.

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Klaren, J.

PY - 2001

Y1 - 2001

KW - METIS-203953

M3 - Conference contribution

SP - -

BT - Proceedings of the 2nd Workshop on Embedded Systems

PB - STW Technology Foundation

CY - Utrecht

ER -

d' Argenio PR, Hermanns H, Katoen JP, Klaren J. Modelling stochastic timed systems. In Proceedings of the 2nd Workshop on Embedded Systems. Utrecht: STW Technology Foundation. 2001. p. -