Symbolic Minimisation of Stochastic Process Algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme"
Place of Publication	Munnich, Germany
Pages	73-82
Number of pages	10
Publication status	Published - 14 Feb 1999

Keywords

@inproceedings{51f7abf11c5946c9a93656f8c88b56d9,

title = "Symbolic Minimisation of Stochastic Process Algebra",

keywords = "METIS-119598",

author = "H. Hermanns and M. Siegle",

year = "1999",

month = feb,

day = "14",

language = "Undefined",

isbn = "3-89675-918-3",

pages = "73--82",

booktitle = "Proceedings GI/ITG Fachgesprach {"}Formaler Beschreibungstechniken fur verteilte Systeme{"}",

}