Crossmark

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving

Crossref DOI link: https://doi.org/10.1007/s00165-019-00483-2

Published Print: 2019-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Antonino, Pedro http://orcid.org/0000-0002-5627-0910
Gibson-Robinson, Thomas

Roscoe, A. W.
License Information

Text and Data Mining valid from 2019-06-01

Version of Record valid from 2019-05-13
More Information

Article History

Received: 19 July 2018

Accepted: 16 April 2019

First Online: 13 May 2019