An Algebraic Approach to the Specification of Stochastic Systems

Research output: Book/ReportReportOther research output

Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Publication statusPublished - Jun 1998

Keywords

  • EWI-5998

Cite this

d' Argenio, P. R., Katoen, J. P., & Brinksma, H. (1998). An Algebraic Approach to the Specification of Stochastic Systems. Enschede: Centre for Telematics and Information Technology (CTIT).
d' Argenio, P.R. ; Katoen, Joost P. ; Brinksma, Hendrik. / An Algebraic Approach to the Specification of Stochastic Systems. Enschede : Centre for Telematics and Information Technology (CTIT), 1998.
@book{f47cd7101e1c46ba80c73b04300accf6,
title = "An Algebraic Approach to the Specification of Stochastic Systems",
keywords = "EWI-5998",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Hendrik Brinksma",
note = "Imported from CTIT",
year = "1998",
month = "6",
language = "Undefined",
publisher = "Centre for Telematics and Information Technology (CTIT)",
address = "Netherlands",

}

d' Argenio, PR, Katoen, JP & Brinksma, H 1998, An Algebraic Approach to the Specification of Stochastic Systems. Centre for Telematics and Information Technology (CTIT), Enschede.

An Algebraic Approach to the Specification of Stochastic Systems. / d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Hendrik.

Enschede : Centre for Telematics and Information Technology (CTIT), 1998.

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - An Algebraic Approach to the Specification of Stochastic Systems

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

N1 - Imported from CTIT

PY - 1998/6

Y1 - 1998/6

KW - EWI-5998

M3 - Report

BT - An Algebraic Approach to the Specification of Stochastic Systems

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

d' Argenio PR, Katoen JP, Brinksma H. An Algebraic Approach to the Specification of Stochastic Systems. Enschede: Centre for Telematics and Information Technology (CTIT), 1998.