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