Authors
G. Cina
A. Baltag
Date (dd-mm-yyyy)
2016
Title
Bisimulation for conditional modalities (extended version)
Publication Year
2016
Document type
Conference contribution
Permalink
https://hdl.handle.net/11245.1/7c165cf2-c558-4892-8efd-e6dc514a7128