Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/2022>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Alberto_Griggio>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Neha_Rungta>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Alberto_Griggio>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Neha_Rungta>
|
foaf:homepage
|
<https://ieeexplore.ieee.org/xpl/conhome/10026543/proceeding>
|
dc:identifier
|
DBLP conf/fmcad/2022
(xsd:string)
|
dc:identifier
|
ISBN 978-3-85448-053-2
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-85448-053-2
(xsd:string)
|
dcterms:issued
|
2022
(xsd:gYear)
|
rdfs:label
|
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/AmirZKS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Andronick22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/BlichaFHS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Bryant22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/BucevK22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/ChenHLT22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Chockler22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/DalyDMSBRBH22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Ebnenasir22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/EsenR22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/FlattCWTP22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/GeorgiouGBRKR22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/GodboleMS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/GroverED22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/GuptaKMS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/HaglundG22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Hjort22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/IsacBZK22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/JacobsSV22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/JonssonLS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/KaivolaK22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/KalitaKR22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/KheterpalTJ22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/KonradSMGD22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/LaufferYVSS22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/LiWW22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/LohnLH22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Loow22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/MaderbacherB22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/NairCWOB22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/NotzliBNPRBT22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Padon22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/PalmskogYDGD22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/Preiner22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/PriyaSBZVG22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/RaghunathanBGW22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/RathBK22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/SchlichtkrullSST22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/SchultzDT22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/VigourouxEMMP22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/WalterGM22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/YangLM22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/YuFBH22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/ZelaznyWBK22>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/fmcad/ZhangTN22>
|
dc:publisher
|
IEEE
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/fmcad/2022/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/fmcad/2022>
|
owl:sameAs
|
<urn:isbn:978-3-85448-053-2>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-85448-053-2>
|
rdfs:seeAlso
|
<https://ieeexplore.ieee.org/xpl/conhome/10026543/proceeding>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/fmcad>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html>
|
dc:title
|
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|