Items where Author / Artist / Editor is "Preibusch, Soeren"

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


Preibusch, Soeren and Kammueller, Florian (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743

Conference or Workshop Item

Kammueller, Florian and Preibusch, Soeren (2013) Privacy analysis of a hidden friendship protocol. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK.

This list was generated on Tue Dec 1 04:17:10 2015 GMT.