BibSonomy :: author  :: Preibusch ::

bookmarks

publications

(6)

• Checking the TWIN Elevator System by Translating Object-Z to SMV.
  Sören Preibusch and Florian Kammüller FMICS 38-55 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• An industrial application of symbolic model checking.
  Florian Kammüller and Sören Preibusch Computer Science - Research and Development 22 95-108 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• Spontaneous Privacy Policy Negotiations in Pervasive Environments.
  Sören Preibusch OTM Workshops (2) 814-823 (2007)
  to dblp by dblp on 2007-11-27 00:00:00
  | URL | BibTeX  
• Implementing Privacy Negotiation Techniques in E-Commerce.
  Sören Preibusch CEC 387-390 (2005)
  to dblp by dblp on 2006-01-02 00:00:00
  | URL | BibTeX  
• Implementing Privacy Negotiations in E-Commerce.
  Sören Preibusch APWeb 604-615 (2006)
  to dblp by dblp on 2005-12-20 00:00:00
  | URL | BibTeX  
• SIMT -- A Privacy Preserving Web Metrics Tool.
  Maximilian Teltzrow and Sören Preibusch and Bettina Berendt CEC 263-270 (2004)
  to dblp by dblp on 2004-10-27 00:00:00
  | URL | BibTeX