Generic Trace Theory
In
Electronic Notes in Theoretical Computer Science, (2006)Ghani, N. (ed.), Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science, pp. 47-65ISSN
Annotation
CMCS 2006 : Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Ghani, N.
Organization
Security of Systems
Journal title
Electronic Notes in Theoretical Computer Science
Book title
Ghani, N. (ed.), Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science
Page start
p. 47
Page end
p. 65
Subject
1; Security of SystemsThis item appears in the following Collection(s)
- Academic publications [227030]
- Electronic publications [108485]
- Faculty of Science [33988]
- Open Access publications [77646]
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.