DMCA

Decidability, Behavioural Equivalences and Infinite Transition Graphs (1991)

by Hans Hüttel
Citations:5 - 1 self