A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoen
type: Book
type: CreativeWork
type: ProductModel
issued: 2002
associated media: http://www.ub.utwente.nl/webdocs/ctit/1/0000009b.pdf
author: p215676866
book format: EBook
contributor: p07485299X
contributor: p184653371
language: en
is part of: p24427522X
main entity of page: https://data.bibliotheken.nl/.well-known/genid/6b1581eeb0a3a5ed6695ada35345a6fa
name: A probabilistic extension of UML statecharts : specification and verification
number of pages: 0