Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/birthday/1999langmaack>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Bernhard_Steffen>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Ernst-R%E2%88%9A%C4%BEdiger_Olderog>
swrc:editor	<https://dblp.l3s.de/d2r/resource/authors/Bernhard_Steffen>
swrc:editor	<https://dblp.l3s.de/d2r/resource/authors/Ernst-R%E2%88%9A%C4%BEdiger_Olderog>
foaf:homepage	<http://dx.doi.org/doi.org%2F10.1007%2F3-540-48092-7>
foaf:homepage	<https://doi.org/10.1007/3-540-48092-7>
dc:identifier	DBLP conf/birthday/1999langmaack (xsd:string)
dc:identifier	DOI doi.org%2F10.1007%2F3-540-48092-7 (xsd:string)
dc:identifier	ISBN 3-540-66624-9 (xsd:string)
swrc:isbn	ISBN 3-540-66624-9 (xsd:string)
dcterms:issued	1999 (xsd:gYear)
rdfs:label	Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (xsd:string)
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/AbdullaJ99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/AptS99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/BienmullerBBBDHJ99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/BiereCZ99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/Bjorner99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/FranzleM99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/GoosZ99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/Gries99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/Hoare99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/KnoopR99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/Moore99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/NielsonN99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/Olderog99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/PeleskaB99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/PnueliSS99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/RavnR99>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/birthday/SteffenM99>
dc:publisher	Springer (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/birthday/1999langmaack/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/birthday/1999langmaack>
owl:sameAs	<urn:isbn:3-540-66624-9>
rdfs:seeAlso	<http://amazon.com/s/ref=nb_ss_gw?field-keywords=3-540-66624-9>
rdfs:seeAlso	<https://doi.org/10.1007/3-540-48092-7>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/birthday>
dcterms:tableOfContent	<http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html>
dc:title	Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Collection>
rdf:type	swrc:Proceedings
rdf:type	foaf:Document
swrc:volume	1710 (xsd:string)