IC3 software model checking
Crossref DOI link: https://doi.org/10.1007/s10009-019-00547-x
Published Online: 2019-11-05
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lange, Tim
Neuhäußer, Martin R.
Noll, Thomas
Katoen, Joost-Pieter
Text and Data Mining valid from 2019-11-05
Version of Record valid from 2019-11-05
Article History
First Online: 5 November 2019