A Finite Model Construction for Coalgebraic Modal Logic

@inproceedings{pub3911,
    author = {

Schröder, Lutz
},
    editor = {

Aceto, Luca
 and 

Ingólfsdóttir, Anna
},
    title = {A Finite Model Construction for Coalgebraic Modal Logic},
    booktitle = {Foundations Of Software Science And Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2006), 9th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, befindet sich ETAPS 2006, March 25-31, Vienna, Australia},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2006},
    volume = {3921},
    pages = {157--171},
    publisher = {Springer; http://www.springer.de},
    note = {EATCS Best Paper Award at ETAPS 2006},
    isbn = {3-540-33045-3}
}