Ranko Lazić, Sylvain Schmitz. The Ideal View on Rackoff's Coverability Technique. Mikołaj Bojańczyk; Sławomir Lasota; Igor Potapov. RP 2015 - 9th International Workshop on Reachability Problems, Sep 2015, Warsaw, Poland. Springer, 9328, pp.1--13, Lecture
HAL Archives-Ouvertes,
Ranko Lazić, Sylvain Schmitz. The Ideal View on Rackoff's Coverability Technique.