Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

14 Downloads (Pure)
Original languageUndefined
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
Award date1 Jan 1999
Place of PublicationEnschede
Publisher
Print ISBNs90-365-1363-4
Publication statusPublished - 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

Cite this

d' Argenio, P. R. (1999). Algebras and Automata for Timed and Stochastic Systems. Enschede: Twente University Press (TUP).
d' Argenio, P.R.. / Algebras and Automata for Timed and Stochastic Systems. Enschede : Twente University Press (TUP), 1999. 342 p.
@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",

}

Algebras and Automata for Timed and Stochastic Systems. / d' Argenio, P.R.

Enschede : Twente University Press (TUP), 1999. 342 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 -

d' Argenio PR. Algebras and Automata for Timed and Stochastic Systems. Enschede: Twente University Press (TUP), 1999. 342 p.