%0 Conference Paper %1 conf/sbmf/TimmG14 %A Timm, Nils %A Gruner, Stefan %B SBMF %D 2014 %E Braga, Christiano %E Martí-Oliet, Narciso %I Springer %K dblp %P 162-178 %T Parameterisation of Three-Valued Abstractions. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2014.html#TimmG14 %V 8941 %@ 978-3-319-15074-1

@inproceedings{conf/sbmf/TimmG14, added-at = {2017-05-26T00:00:00.000+0200}, author = {Timm, Nils and Gruner, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24b3d438a3e0bb972f7055477d9d05a5c/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2014}, editor = {Braga, Christiano and Martí-Oliet, Narciso}, ee = {https://doi.org/10.1007/978-3-319-15075-8_11}, interhash = {2fb5549a7fba42561b2a2e82191cedd8}, intrahash = {4b3d438a3e0bb972f7055477d9d05a5c}, isbn = {978-3-319-15074-1}, keywords = {dblp}, pages = {162-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:20:57.000+0200}, title = {Parameterisation of Three-Valued Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2014.html#TimmG14}, volume = 8941, year = 2014 }