Jähnichen, Stephan ;
Lemoine, Michel ;
Maibaum, Tom ;
Wirsing, Martin
Weitere Beteiligte (Hrsg. etc.): Stephan Jähnichen and Michel Lemoine and Tom Maibaum and Martin Wirsing
Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451)
BibTeX - Entry
@TechReport{jahnichen_et_al:DagSemRep.258,
author = {J\"{a}hnichen, Stephan and Lemoine, Michel and Maibaum, Tom and Wirsing, Martin},
title = {{Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451)}},
pages = {1--31},
ISSN = {1619-0203},
year = {2000},
type = {Dagstuhl Seminar Report},
number = {258},
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/opus/volltexte/2021/15143},
URN = {urn:nbn:de:0030-drops-151439},
doi = {10.4230/DagSemRep.258},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
07.02.2000 |
07.02.2000
