TY  - RPRT
TI  - A Trace Logic for Local Security Properties
AU  - Ricardo Corin
AU  - Antonio Durante
AU  - Sandro Etalle
AU  - Pieter Hartel
PY  - 2004
UR  - https://arxiv.org/abs/cs/0411010
ID  - cs/0411010
ER  -