TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara :
The Decidability of Model-Checking Information Flow Properties.
International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2008)

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara :
The Decidability of Model-Checking Information Flow Properties.
International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2008)

Diese Liste wurde am Tue Feb 19 02:56:01 2019 CET generiert.