A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning
2022
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2019