Login / Signup
Equivalences of Transition Systems in an Algebraic Framework.
Pasquale Malacaria
Published in:
AMAST (1993)
Keyphrases
</>
case study
linear programming
artificial intelligence
web services