Objective/MC: A high-level model checking language
Crossref DOI link: https://doi.org/10.1007/s10844-017-0475-2
Published Online: 2017-08-01
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Milazzo, P. http://orcid.org/0000-0002-7309-6424
Pardini, G.
Text and Data Mining valid from 2017-08-01
Article History
Received: 2 January 2017
Revised: 19 May 2017
Accepted: 4 July 2017
First Online: 1 August 2017