A Comparison of Succinctly Represented Finite-State Systems.

Romain Brenguier, Stefan Gller, Ocan Sankur

Browse the full CONCUR paper archive.