A Journey from Process Algebra via Timed Automata to Model Learning
-
nidottu
,
Englanti, 2022