On the Complexity of Deciding Behavioural Equivalences and Preorders -- A Survey (1996)

by Hans Hüttel , Sandeep Shukla
Citations:7 - 0 self