%0 Conference Paper %1 conf/fsttcs/LodingR03 %A Löding, Christof %A Rohde, Philipp %B FSTTCS %D 2003 %E Pandya, Paritosh K. %E Radhakrishnan, Jaikumar %I Springer %K %P 302-313 %T Model Checking and Satisfiability for Sabotage Modal Logic. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2003.html#LodingR03 %V 2914 %@ 3-540-20680-9

@inproceedings{conf/fsttcs/LodingR03, added-at = {2023-12-13T05:39:32.000+0100}, author = {Löding, Christof and Rohde, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/21e32ed3badef604569f201fd72bbbd12/admin}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2003}, editor = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar}, ee = {https://doi.org/10.1007/978-3-540-24597-1_26}, interhash = {a515cd94f898612942a8239057ca88bc}, intrahash = {1e32ed3badef604569f201fd72bbbd12}, isbn = {3-540-20680-9}, keywords = {}, pages = {302-313}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:39:32.000+0100}, title = {Model Checking and Satisfiability for Sabotage Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2003.html#LodingR03}, volume = 2914, year = 2003 }