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

Published: 2001-05-19