Algebras and automata for timed and stochastic systems / Pedro R. D'Argenio
mainEntity
Algebras and automata for timed and stochastic systems / Pedro R. D'Argenio
associatedMedia
<http://doc.utwente.nl/17911>
bookFormat
description
Thesis University of Twente, Enschede
inLanguage
mainEntityOfPage
name
Algebras and automata for timed and stochastic systems
numberOfPages
publication
label
Algebras and automata for timed and stochastic systems / Pedro R. D'Argenio