A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
Crossref DOI link: https://doi.org/10.1007/s11704-017-7036-2
Published Online: 2018-11-19
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ogata, Kazuhiro
Text and Data Mining valid from 2018-11-19
Article History
Received: 1 February 2017
Accepted: 4 July 2017
First Online: 19 November 2018