fmcad20-material.zip Article Swipe
Related Concepts
Zip code
Geography
Cartography
Simon Jantsch
,
Christel Baier
,
Hans Harder
,
Florian Funke
·
YOU?
·
· 2020
· Open Access
·
· DOI: https://doi.org/10.6084/m9.figshare.12682253.v1
· OA: W4394116067
YOU?
·
· 2020
· Open Access
·
· DOI: https://doi.org/10.6084/m9.figshare.12682253.v1
· OA: W4394116067
Supplementary material to the FMCAD'20 paper "SWITSS: Computing Small Witnessing Subsystems"<br>
Related Topics
Finding more related topics…