Note on the Tableau Technique for Commutative Transition Systems.

Jir Srba

Browse the full FOSSACS paper archive.