Model checking with generalized Rabin and Fin-less automata
Crossref DOI link: https://doi.org/10.1007/s10009-019-00508-4
Published Online: 2019-02-25
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bloemen, Vincent
Duret-Lutz, Alexandre
van de Pol, Jaco
Funding for this research was provided by:
University of Twente
Text and Data Mining valid from 2019-02-25
Article History
First Online: 25 February 2019