DArgenioKB98'

BibTeX

@inproceedings{DBLP:conf/procomet/DArgenioKB98,
  author    = {Pedro R. D'Argenio and
               Joost-Pieter Katoen and
               Ed Brinksma},
  title     = {An algebraic approach to the specification of stochastic
               systems},
  booktitle = {PROCOMET},
  year      = {1998},
  pages     = {126-147},
  crossref  = {DBLP:conf/procomet/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods (PROCOMET
               '98) 8-12 June 1998, Shelter Island, New York, USA},
  booktitle = {PROCOMET},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {125},
  year      = {1998},
  isbn      = {0-412-83760-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}