An automated framework for verifying or refuting trace properties of extended finite state machines
Crossref DOI link: https://doi.org/10.1007/s10009-022-00666-y
Published Online: 2022-07-29
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Taylor, Ramsay G.
Foster, Michael
North, Siobhán
Text and Data Mining valid from 2022-07-29
Version of Record valid from 2022-07-29
Article History
Accepted: 30 June 2022
First Online: 29 July 2022