@phdthesis{2445636426084348907f5e632bf1be78,
title = "Algebras and Automata for Timed and Stochastic Systems",
keywords = "EWI-6557, IR-17911, METIS-118430, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS, FMT-PM: PROBABILISTIC METHODS, FMT-PA: PROCESS ALGEBRAS",
author = "{d' Argenio}, P.R.",
year = "1999",
language = "English",
isbn = "90-365-1363-4",
publisher = "Twente University Press (TUP)",
address = "Netherlands",
type = "PhD Thesis - Research UT, graduation UT",
school = "University of Twente",
}