Go to the corresponding LIPIcs Volume Portal 
Bakhtiari, Zeinab ; Hvid Hansen, Helle
pdfformat: 

@InProceedings{bakhtiari_et_al:LIPIcs:2017:8050, author = {Zeinab Bakhtiari and Helle Hvid Hansen}, title = {{Bisimulation for Weakly Expressive Coalgebraic Modal Logics}}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)}, pages = {4:14:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770330}, ISSN = {18688969}, year = {2017}, volume = {72}, editor = {Filippo Bonchi and Barbara K{\"o}nig}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8050}, URN = {urn:nbn:de:0030drops80500}, doi = {10.4230/LIPIcs.CALCO.2017.4}, annote = {Keywords: Coalgebraic modal logic, bisimulation, expressiveness, HennessyMilner theorem} }
Keywords:  Coalgebraic modal logic, bisimulation, expressiveness, HennessyMilner theorem  
Collection:  7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)  
Issue Date:  2017  
Date of publication:  17.11.2017 