Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2004
Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H.
(2004)
Timed Model Checking of Security Protocols.
In: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Fairfax, Virginia.
pp. 23-32.
ACM Press.
ISBN 1-58113-971-3
This list was generated on Thu May 24 08:37:35 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||