%0 Conference Paper %1 conf/concur/KaivolaV91 %A Kaivola, Roope %A Valmari, Antti %B CONCUR %D 1991 %E Baeten, Jos C. M. %E Groote, Jan Friso %I Springer %K dblp %P 361-375 %T Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. %U http://dblp.uni-trier.de/db/conf/concur/concur1991.html#KaivolaV91 %V 527 %@ 3-540-54430-5

@inproceedings{conf/concur/KaivolaV91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kaivola, Roope and Valmari, Antti}, biburl = {https://www.bibsonomy.org/bibtex/2632009537cdc4d2782fdd0fba7367f9f/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1991}, editor = {Baeten, Jos C. M. and Groote, Jan Friso}, ee = {https://doi.org/10.1007/3-540-54430-5_100}, interhash = {b5cfb7987805c398885f987a90cdc912}, intrahash = {632009537cdc4d2782fdd0fba7367f9f}, isbn = {3-540-54430-5}, keywords = {dblp}, pages = {361-375}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:03.000+0200}, title = {Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1991.html#KaivolaV91}, volume = 527, year = 1991 }