%0 Conference Paper %1 conf/amast/Heinemann98 %A Heinemann, Bernhard %B AMAST %D 1998 %E Haeberer, Armando Martin %I Springer %K dblp %P 140-153 %T Separating Sets by Modal Formulas. %U http://dblp.uni-trier.de/db/conf/amast/amast98.html#Heinemann98 %V 1548 %@ 3-540-65462-3

@inproceedings{conf/amast/Heinemann98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Heinemann, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/245d2b485f8231f8b1b6ae3e4a32b1885/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1998}, editor = {Haeberer, Armando Martin}, ee = {https://doi.org/10.1007/3-540-49253-4_12}, interhash = {ad8bdd8d0c6106429946b0babd31a209}, intrahash = {45d2b485f8231f8b1b6ae3e4a32b1885}, isbn = {3-540-65462-3}, keywords = {dblp}, pages = {140-153}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:49.000+0200}, title = {Separating Sets by Modal Formulas.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast98.html#Heinemann98}, volume = 1548, year = 1998 }