Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
Generic Forward and Backward Simulations
Publication year
2006
Author(s)
Hasuo, I.
Publisher
Berlin ; New York : Springer
ISBN
3540373764
In
International Conference on Concurrency Theory (CONCUR 2006), pp. 406-420
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2066/35807
Display more details
Display less details
Organization
Security of Systems
Book title
International Conference on Concurrency Theory (CONCUR 2006)
Page start
p. 406
Page end
p. 420
Subject
Lect. Notes Comp. Sci.; Security of Systems
This item appears in the following Collection(s)
Academic publications
[238586]
Faculty of Science
[34995]
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.