Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

Original languageUndefined
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
Date of Award1 Jan 1999
Place of PublicationEnschede
Publisher
Print ISBNs90-365-1363-4
StatePublished - 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.
@misc{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",
isbn = "90-365-1363-4",
publisher = "Twente University Press (TUP)",
address = "Netherlands",
school = "University of Twente",

}

d' Argenio, PR 1999, 'Algebras and Automata for Timed and Stochastic Systems', University of Twente, Enschede.

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

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

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)

ER -

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