An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationIFIP Working Conference on Programming Concepts and Methods, PROCOMET'98
Place of PublicationSkelter Island, New York, USA
Pages126-147
Number of pages22
Publication statusPublished - 8 Feb 1998

Keywords

  • METIS-119579

Cite this

d' Argenio, P. R., Katoen, J. P., & Brinksma, H. (1998). An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98 (pp. 126-147). Skelter Island, New York, USA.
d' Argenio, P.R. ; Katoen, Joost P. ; Brinksma, Hendrik. / An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, 1998. pp. 126-147
@inproceedings{c9500c4c36d54981ae126032205bca4c,
title = "An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)",
keywords = "METIS-119579",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Hendrik Brinksma",
year = "1998",
month = "2",
day = "8",
language = "Undefined",
isbn = "0-412-83750-9",
pages = "126--147",
booktitle = "IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98",

}

d' Argenio, PR, Katoen, JP & Brinksma, H 1998, An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). in IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, pp. 126-147.

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

IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, 1998. p. 126-147.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

PY - 1998/2/8

Y1 - 1998/2/8

KW - METIS-119579

M3 - Conference contribution

SN - 0-412-83750-9

SP - 126

EP - 147

BT - IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98

CY - Skelter Island, New York, USA

ER -

d' Argenio PR, Katoen JP, Brinksma H. An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA. 1998. p. 126-147