%0 Conference Paper %1 conf/spin/BeerHKLL15 %A Beer, Adrian %A Heidinger, Stephan %A Kühne, Uwe %A Leitner-Fischer, Florian %A Leue, Stefan %B SPIN %D 2015 %E Fischer, Bernd %E Geldenhuys, Jaco %I Springer %K %P 203-221 %T Symbolic Causality Checking Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/spin/spin2015.html#BeerHKLL15 %V 9232 %@ 978-3-319-23403-8

@inproceedings{conf/spin/BeerHKLL15, added-at = {2023-12-14T15:45:59.000+0100}, author = {Beer, Adrian and Heidinger, Stephan and Kühne, Uwe and Leitner-Fischer, Florian and Leue, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/24948f5abe5b541f9b130df7a8dc4c0a7/admin}, booktitle = {SPIN}, crossref = {conf/spin/2015}, editor = {Fischer, Bernd and Geldenhuys, Jaco}, ee = {https://doi.org/10.1007/978-3-319-23404-5_14}, interhash = {ef3eb48b53a47374b669be63fe1eb8a4}, intrahash = {4948f5abe5b541f9b130df7a8dc4c0a7}, isbn = {978-3-319-23403-8}, keywords = {}, pages = {203-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:45:59.000+0100}, title = {Symbolic Causality Checking Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2015.html#BeerHKLL15}, volume = 9232, year = 2015 }