J. Katoen, and P. D'Argenio. European Educational Forum: School on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science, page 375-430. Springer, (2000)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/eef/KatoenD00
%A Katoen, Joost-Pieter
%A D'Argenio, Pedro R.
%B European Educational Forum: School on Formal Methods and Performance Analysis
%D 2000
%E Brinksma, Ed
%E Hermanns, Holger
%E Katoen, Joost-Pieter
%I Springer
%K dblp
%P 375-430
%T General Distributions in Process Algebra.
%U http://dblp.uni-trier.de/db/conf/eef/eef2000.html#KatoenD00
%V 2090
%@ 3-540-42479-2
@inproceedings{conf/eef/KatoenD00,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Katoen, Joost-Pieter and D'Argenio, Pedro R.},
biburl = {https://www.bibsonomy.org/bibtex/2a1f10cc4cf5e96aff6742c166e1e566f/dblp},
booktitle = {European Educational Forum: School on Formal Methods and Performance Analysis},
crossref = {conf/eef/2000},
editor = {Brinksma, Ed and Hermanns, Holger and Katoen, Joost-Pieter},
ee = {https://doi.org/10.1007/3-540-44667-2_11},
interhash = {b2cb2ddb106708f5b8b0253ecffdbd9a},
intrahash = {a1f10cc4cf5e96aff6742c166e1e566f},
isbn = {3-540-42479-2},
keywords = {dblp},
pages = {375-430},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T12:01:08.000+0200},
title = {General Distributions in Process Algebra.},
url = {http://dblp.uni-trier.de/db/conf/eef/eef2000.html#KatoenD00},
volume = 2090,
year = 2000
}
