Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network.

Pavel Surynek

Browse the full FlAIRS paper archive.