Equivalences for silent transitions in Probabilistic Systems (extended abstract)
In
J.Baeten, .; Corradini, F. (ed.), Proceedings of EXPRESS 2004, pp. 53-66Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
J.Baeten, .
Corradini, F.
Organization
Informatics for Technical Applications
Book title
J.Baeten, .; Corradini, F. (ed.), Proceedings of EXPRESS 2004
Page start
p. 53
Page end
p. 66
Subject
ENTCS; Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [227613]
- Electronic publications [107286]
- Faculty of Science [33762]
- Open Access publications [76413]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.