author : Felix C. Gartner

Short works

• Revisiting liveness properties in the context of secure systems. 2003. (In Formal Aspects of Security )