TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2008
Anzahl der Einträge: 2.
2008
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