Yohan Boichut Pierre-Cyrille Héam A theoretical limit for safety verification techniques with regular fix-point computations. 1-2 2008 108 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2008.03.012 db/journals/ipl/ipl108.html#BoichutH08