Apartness and Distinguishing Formulas in Hennessy-Milner Logic
Autor: | Geuvers, H., Jansen, N., Stoelinga, M., Bos, P. van den |
---|---|
Rok vydání: | 2022 |
Zdroj: | Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 266-282. Cham : Springer Nature Switzerland STARTPAGE=266;ENDPAGE=282;TITLE=Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday |
Databáze: | OpenAIRE |
Externí odkaz: |