%0 Conference Paper %1 conf/dsvis/BernsenL95 %A Bernsen, Niels Ole %A Lu, S. %B DSV-IS %D 1995 %E Palanque, Philippe A. %E Bastide, Rémi %I Springer %K dblp %P 242-261 %T A Software Demonstrator of Modality Theory. %U http://dblp.uni-trier.de/db/conf/dsvis/dsvis1995.html#BernsenL95 %@ 3-211-82739-0

@inproceedings{conf/dsvis/BernsenL95, added-at = {2019-06-24T00:00:00.000+0200}, author = {Bernsen, Niels Ole and Lu, S.}, biburl = {https://www.bibsonomy.org/bibtex/2a5b50303292106c950c17b2a342ecc39/dblp}, booktitle = {DSV-IS}, crossref = {conf/dsvis/1995}, editor = {Palanque, Philippe A. and Bastide, Rémi}, ee = {https://doi.org/10.1007/978-3-7091-9437-9_15}, interhash = {e7761728f75fa99c1573c9ffdad73e1a}, intrahash = {a5b50303292106c950c17b2a342ecc39}, isbn = {3-211-82739-0}, keywords = {dblp}, pages = {242-261}, publisher = {Springer}, timestamp = {2019-06-25T11:39:26.000+0200}, title = {A Software Demonstrator of Modality Theory.}, url = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis1995.html#BernsenL95}, year = 1995 }