TY  - BOOK
AU  - Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
TI  - A Journey from Process Algebra via Timed Automata to Model Learning 
SN  - 9783031156298
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-15629-8
ER  -