Stanislas Nanchen

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Stanislas Nanchen, Robert F. Stärk
A logic for secure memory access of abstract state machines. Theor. Comput. Sci. 336 (2-3) (2005)
Stanislas Nanchen, Robert F. Stärk
A Security Logic for Abstract State Machines. Abstract State Machines (2004)
Robert F. Stärk, Stanislas Nanchen
A Logic for Abstract State Machines. J. Univers. Comput. Sci. 7 (11) (2001)
Robert F. Stärk, Stanislas Nanchen
A Logic for Abstract State Machines. CSL (2001)