Detection of Deadlocks in an Infinite Family of Nets.

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet

Browse the full STACS paper archive.