![](/img/cover-not-exists.png)
Model checking with generalized Rabin and Fin-less automata
Bloemen, Vincent, Duret-Lutz, Alexandre, van de Pol, JacoVolume:
21
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-019-00508-4
Date:
June, 2019
File:
PDF, 1.31 MB
english, 2019