Constraint Differentiation
Metadata only
Date
2003Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 10th ACM Conference on Computer and Communications SecurityPages / Article No.
Publisher
The Association for Computing MachineryEvent
Subject
Protocol Verification; Constraints; Partial-Order ReductionOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics