Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
David Basin, Grit Denker, Jon Millen, and Gavin Lowe. Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391). Dagstuhl Seminar Report 321, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
@TechReport{basin_et_al:DagSemRep.321,
author = {Basin, David and Denker, Grit and Millen, Jon and Lowe, Gavin},
title = {{Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391)}},
pages = {1--15},
ISSN = {1619-0203},
year = {2001},
type = {Dagstuhl Seminar Report},
number = {321},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.321},
URN = {urn:nbn:de:0030-drops-152055},
doi = {10.4230/DagSemRep.321},
}
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker. Object-Oriented Software Development (Dagstuhl Seminar 9715). Dagstuhl Seminar Report 174, pp. 1-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{erich_et_al:DagSemRep.174,
author = {Erich, Hans-Dieter and Feng, Yulin and Kung, David and Denker, Grit},
title = {{Object-Oriented Software Development (Dagstuhl Seminar 9715)}},
pages = {1--35},
ISSN = {1619-0203},
year = {1997},
type = {Dagstuhl Seminar Report},
number = {174},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.174},
URN = {urn:nbn:de:0030-drops-150616},
doi = {10.4230/DagSemRep.174},
}
Feedback for Dagstuhl Publishing