Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/2020>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Barbara_K%E2%88%9A%E2%88%82nig_0001>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Jean_Goubault-Larrecq>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Barbara_K%E2%88%9A%E2%88%82nig_0001>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Jean_Goubault-Larrecq>
|
foaf:homepage
|
<http://dx.doi.org/doi.org%2F10.1007%2F978-3-030-45231-5>
|
foaf:homepage
|
<https://doi.org/10.1007/978-3-030-45231-5>
|
dc:identifier
|
DBLP conf/fossacs/2020
(xsd:string)
|
dc:identifier
|
DOI doi.org%2F10.1007%2F978-3-030-45231-5
(xsd:string)
|
dc:identifier
|
ISBN 978-3-030-45230-8
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-030-45230-8
(xsd:string)
|
dcterms:issued
|
2020
(xsd:gYear)
|
rdfs:label
|
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/AdamekMM20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/AkshayGHM20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Alvarez-Picallo20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/BerardBLS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/BonchiPSZ20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/ColcombetFO20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Diskin20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Ehrhard20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/ExibardFR20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/FinkelHK20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/FiorePS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/FioreS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/GehrkeJR20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/GiustoLL20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/HeerdtKR020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/HuotSV20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/JohannP20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Kahn020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/KappeB0WZ20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Kura20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/LagoGH20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Laird20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/LanesePU20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/LodingP20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Mansutti20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/MehmoodRGSS020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/NeeleVW20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/PechouxPRZ20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/PientkaS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Polzer020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/SherrattHGP20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fossacs/Zuleger20>
|
dc:publisher
|
Springer
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/fossacs/2020/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/fossacs/2020>
|
owl:sameAs
|
<urn:isbn:978-3-030-45230-8>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-030-45230-8>
|
rdfs:seeAlso
|
<https://doi.org/10.1007/978-3-030-45231-5>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/fossacs>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/fossacs/fossacs2020.html>
|
dc:title
|
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
12077
(xsd:string)
|