A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoen

<http://data.bibliotheken.nl/id/nbt/p249948435>

rdfs:label	"A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoen"
schema:name	"A probabilistic extension of UML statecharts : specification and verification"
schema:author	Jansen, David Nicolaas (1971-)
schema:contributor	Katoen, Joost-Pieter (1964-)
	Hermanns, Holger (1967-)
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/6b1581eeb0a3a5ed6695ada35345a6fa>
http://purl.org/dc/terms#issued	"2002"
schema:associatedMedia	<http://www.ub.utwente.nl/webdocs/ctit/1/0000009b.pdf>
schema:bookFormat	schema:EBook
schema:inLanguage	"en"
schema:isPartOf	CTIT technical report series
schema:numberOfPages	0
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/84a42753e9b22fb460b9345e5f2153e2>