A Proof Theory for Model Checking
Crossref DOI link: https://doi.org/10.1007/s10817-018-9475-3
Published Online: 2018-06-18
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Heath, Quentin
Miller, Dale http://orcid.org/0000-0003-0274-4954
Funding for this research was provided by:
European Research Council (ProofCert)
Text and Data Mining valid from 2018-06-18
Article History
Received: 16 February 2017
Accepted: 12 June 2018
First Online: 18 June 2018