On Stabilization in Herman's Algorithm.
Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, James Worrell, Lijun Zhang
Browse the full ICALP paper archive.
Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, James Worrell, Lijun Zhang
Browse the full ICALP paper archive.