An Algebraic Approach to the Specification of Stochastic Systems

Research output: Book/Report › Report › Other research output

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Jun 1998

Keywords

@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 = jun,

language = "Undefined",

publisher = "Centre for Telematics and Information Technology (CTIT)",

address = "Netherlands",

}

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 -