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

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