Login / Signup
Behavioural Theories and the Proof of Behavioural Properties.
Michel Bidoit
Rolf Hennicker
Published in:
Theor. Comput. Sci. (1996)
Keyphrases
</>
database
topological properties
optimal solution
theoretical framework