Login / Signup

Better Automata Through Process Algebra.

Rance Cleaveland
Published in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases