Article citationsMore>>
Eyer, D. and Stahlbauer, A. (2013) BDD-Based Software Model Checking with CPACHECKER. In: Kučera, A., Henzinger, T.A., Nešetřil, J., Vojnar, T. and Antoš, D., Eds., MEMICS 2012: Mathematical and Engineering Methods in Computer Science, Springer, Berlin, 1-11.
https://doi.org/10.1007/978-3-642-36046-6_1
https://link.springer.com/chapter/10.1007/978-3-642-36046-6_1
has been cited by the following article:
Related Articles:
-
Ednah Olubunmi Aliyu
-
Tingting Tang, Jun Wang
-
Agamenon R. E. Oliveira
-
Obias Mulenga Chimbola
-
Mrinal Pal, Subinay Datta, Amit Kumar Pradhan, Lekha Biswas, Joydeep Ghosh, Partha Mondal, Rajarshi Rahut, Arghya Ray Chaudhuri, Sourav Sau, Soumi Das