No. 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey

Published: 1996-06-09