| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
7th IEEE Computer Security Foundations Workshop (CSFW '94) In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 11-21.
|
| |
J. Mach. Learn. Res., Vol. 5 (2004), pp. 1035-1062.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (May 2001), pp. 273-303.
|
| |
Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B (2006), pp. 186-200.
|
| |
Formal Aspects of Computing
|
| |
In Ada-Europe, Vol. 4498 (2007), pp. 168-179.
|
| |
In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 45-58.
|
| |
Distrib. Parallel Databases, Vol. 14, No. 1. (July 2003), pp. 71-98.
|
| |
In 10th International Workshop on Distributed Algorithms (WDAG 96), Vol. 1151 (1996), pp. 1-17.
|
| |
ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 299-319.
|
| |
|
| |
In FTCS '95: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing (1995)
|
| |
Lecture Notes in Computer Science : SDL 2005: Model Driven Systems Design (2005), pp. 339-359.
|
| |
ACM Trans. Comput. Syst., Vol. 20, No. 4. (November 2002), pp. 398-461.
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 253-267.
|
| |
Computer Networks (1976), Vol. 2, No. 2. (May 1978), pp. 95-114.
|
Search
