Advances in verification presented in TACAS’13
Crossref DOI link: https://doi.org/10.1007/s10009-017-0460-7
Published Online: 2017-06-09
Published Print: 2017-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Piterman, Nir
Funding for this research was provided by:
University of Leicester
License valid from 2017-06-09