Antonis Achilleos, Michael Lampis, Valia Mitsou. Parameterized Modal Satisfiability. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 369-380, Springer, 2010. [doi]
@inproceedings{AchilleosLM10,
title = {Parameterized Modal Satisfiability},
author = {Antonis Achilleos and Michael Lampis and Valia Mitsou},
year = {2010},
doi = {10.1007/978-3-642-14162-1_31},
url = {http://dx.doi.org/10.1007/978-3-642-14162-1_31},
researchr = {https://researchr.org/publication/AchilleosLM10},
cites = {0},
citedby = {0},
pages = {369-380},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II},
editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
volume = {6199},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14161-4},
}