Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 2.
Englisch
D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara (2008)
The Decidability of Model-Checking Information Flow Properties.
Konferenzveröffentlichung, Bibliographie
D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara (2008)
The Decidability of Model-Checking Information Flow Properties.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum