Not logged in.

Quick Search - Contribution

Contribution Details

Type	Technical Report
Scope	Discipline-based scholarship
Title	Correctness proof of the declarative SS2PL protocol implementation
Organization Unit	Database Technology (Michael Hanspeter Böhlen)
Authors	Christian Tilgner Boris Glavic Michael Hanspeter Böhlen Carl-Christian Kanne
Language	English
Number	IFI-2010.0008
Date	2010
PDF File	Download
Export	BibTeX