Authors
Raul Fervari
F.R. Velazquez Quesada
Yanjing Wang
Date (dd-mm-yyyy)
2017
Title
Bisimulations for knowing how logics
Publication Year
2017
Document type
Conference contribution
Permalink
https://hdl.handle.net/11245.1/09b89507-0e3f-40e8-a9fa-05e9fb0088f1