Nr. 19 (2001): RS-19 On the Power of Labels in Transition Systems

Publiceret: 2001-05-19