Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

Research output: Thesis › PhD Thesis - Research UT, graduation UT

27 Downloads (Pure)

Original language	Undefined
Supervisors/Advisors	Brinksma, Hendrik , Supervisor
Award date	1 Jan 1999
Place of Publication	Enschede
Publisher	Twente University Press (TUP)
Print ISBNs	90-365-1363-4
Publication status	Published - 1999

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

Access to Document

t0000012
open

http://eprints.eemcs.utwente.nl/secure2/6557/01/303_DAr99.pdf

Cite this

@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 = "Undefined",

isbn = "90-365-1363-4",

publisher = "Twente University Press (TUP)",

address = "Netherlands",

}

TY - THES

T1 - Algebras and Automata for Timed and Stochastic Systems

AU - d' Argenio, P.R.

PY - 1999

Y1 - 1999

KW - EWI-6557

KW - IR-17911

KW - METIS-118430

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-PA: PROCESS ALGEBRAS

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-1363-4

PB - Twente University Press (TUP)

CY - Enschede

ER -