Nr. 50 (2001): RS-50 Note on the Tableau Technique for Commutative Transition Systems

Publiceret: 2001-12-20

Artikler