| |
Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on In Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on (1997), pp. 141-151.
|
| |
In In TACAS, volume 1384 of LNCS (1998)
|
| |
|
| |
|
| |
In In Proc. COMPOS (1998), pp. 81-102.
|
| |
|
| |
In In Proc. SAVCBS Workshop (2003), pp. 14-21.
|
| |
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23.
|
| |
|
| |
|
| |
|
| |
In TPHOLs '00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics (2000), pp. 53-72.
|
| |
|
| |
The Risks Digest, Vol. 19, No. 49.
|
| |
|
| |
|
| |
|
| |
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
|
| |
Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
|
| |
|
| |
SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57.
|
| |
In TACAs '96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1996), pp. 147-166.
|
| |
Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on In Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on (1992), pp. 522-525.
|
| |
In SP '97: Proceedings of the 1997 IEEE Symposium on Security and Privacy (1997)
|
| |
|
