Distinguishing extended finite state machine configurations using predicate abstraction
Crossref DOI link: https://doi.org/10.1186/s40411-016-0027-4
Published Online: 2016-03-31
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
El-Fakih, Khaled
Yevtushenko, Nina
Bozga, Marius
Bensalem, Saddek
License valid from 2016-03-31