| |
| 2005 | ||
|---|---|---|
| 4 | EE | Stanislas Nanchen, Robert F. Stärk: A logic for secure memory access of abstract state machines. Theor. Comput. Sci. 336(2-3): 343-365 (2005) |
| 2004 | ||
| 3 | EE | Stanislas Nanchen, Robert F. Stärk: A Security Logic for Abstract State Machines. Abstract State Machines 2004: 169-185 |
| 2001 | ||
| 2 | EE | Robert F. Stärk, Stanislas Nanchen: A Logic for Abstract State Machines. CSL 2001: 217-231 |
| 1 | EE | Robert F. Stärk, Stanislas Nanchen: A Logic for Abstract State Machines. J. UCS 7(11): 980-1005 (2001) |
| 1 | Robert F. Stärk | [1] [2] [3] [4] |