Items where Author is "Probst, Christian"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 1.

Kammueller, Florian and Probst, Christian and Raimondi, Franco (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy.

This list was generated on Sun Apr 19 10:30:40 2015 IST.