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

Publiceret: 1996-06-09

Artikler