Detecting Fictitious States in a Σ-Automaton Synthesized from Its Specification in the Language LP
Crossref DOI link: https://doi.org/10.1007/s10559-019-00184-x
Published Online: 2019-10-18
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chebotarev, A. N.
Text and Data Mining valid from 2019-09-01
Version of Record valid from 2019-09-01
Article History
Received: 11 December 2018
First Online: 18 October 2019