Fulltext present in this item

Thumbnail
Fulltext: 32472.pdf
Format: PDF
Description: publisher's version
Title: Equivalences for silent transitions in Probabilistic Systems (extended abstract)
Author(s): Andova, S.; Willemse, T.A.C.
Publication year: 2005
In: J.Baeten, .; Corradini, F. (ed.), Proceedings of EXPRESS 2004, pp. 53-66
Publisher: Amsterdam : Elsevier
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/32472   https://hdl.handle.net/2066/32472

Display more details
Editor(s): J.Baeten, .; Corradini, F.
Subject: Informatics for Technical Applications
Organization: Informatics for Technical Applications
Book title: J.Baeten, .; Corradini, F. (ed.), Proceedings of EXPRESS 2004
Page start: p. 53
Page end: p. 66

This item appears in the following Collection(s)

Browse

Statistics