2008

Grimm, Rüdiger ; Volkamer, Melanie
Hrsg.: Hegering, Heinz-Gerd ; Lehmann, Axel ; Ohlbach, Hans Jürgen ; Scheideler, Christian (2008)
Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme.
München
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hegering, Heinz-Gerd ; Lehmann, Axel ; Ohlbach, Hans Jürgen ; Scheideler, Christian (2008)
INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München.
Konferenzveröffentlichung, Bibliographie

1996

Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
Hrsg.: Gabbay, Dov M. ; Ohlbach, Hans Jürgen (1996)
Formal reasoning about modules, reuse, and their correctness.
International Conference on Formal and Applied Practical Reasoning ; FAPR '96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, Bibliographie

1994

Hähnle, Reiner ; Ibens, Ortrun
Hrsg.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Konferenzveröffentlichung, Bibliographie