Login / Signup
Generate & Check Method for Verifying Transition Systems in CafeOBJ.
Kokichi Futatsugi
Published in:
Software, Services, and Systems (2015)
Keyphrases
</>
computational complexity
artificial intelligence
dynamic programming