@article{journals/sigsoft/FromherzLP16,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Fromherz, Aymeric and Luckow, Kasper Søe and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/274f086464b85f7afe641dd59470bcb14/dblp},
  ee = {https://doi.org/10.1145/3011286.3011296},
  interhash = {b968108c1bfcb92f27ad48bc79bd7c64},
  intrahash = {74f086464b85f7afe641dd59470bcb14},
  journal = {ACM SIGSOFT Software Engineering Notes},
  keywords = {dblp},
  number = 6,
  pages = {1-5},
  timestamp = {2018-11-07T12:32:10.000+0100},
  title = {Symbolic Arrays in Symbolic PathFinder.},
  url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#FromherzLP16},
  volume = 41,
  year = 2016
}

{"_id":"qELaub5mi5PCrELTf","bibbaseid":"fromherz-luckow-pasareanu-symbolicarraysinsymbolicpathfinder-2016","authorIDs":[],"author_short":["Fromherz, A.","Luckow, K. S.","Pasareanu, C. S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Fromherz"],"firstnames":["Aymeric"],"suffixes":[]},{"propositions":[],"lastnames":["Luckow"],"firstnames":["Kasper","Søe"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/274f086464b85f7afe641dd59470bcb14/dblp","ee":"https://doi.org/10.1145/3011286.3011296","interhash":"b968108c1bfcb92f27ad48bc79bd7c64","intrahash":"74f086464b85f7afe641dd59470bcb14","journal":"ACM SIGSOFT Software Engineering Notes","keywords":"dblp","number":"6","pages":"1-5","timestamp":"2018-11-07T12:32:10.000+0100","title":"Symbolic Arrays in Symbolic PathFinder.","url":"http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#FromherzLP16","volume":"41","year":"2016","bibtex":"@article{journals/sigsoft/FromherzLP16,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Fromherz, Aymeric and Luckow, Kasper Søe and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/274f086464b85f7afe641dd59470bcb14/dblp},\n ee = {https://doi.org/10.1145/3011286.3011296},\n interhash = {b968108c1bfcb92f27ad48bc79bd7c64},\n intrahash = {74f086464b85f7afe641dd59470bcb14},\n journal = {ACM SIGSOFT Software Engineering Notes},\n keywords = {dblp},\n number = 6,\n pages = {1-5},\n timestamp = {2018-11-07T12:32:10.000+0100},\n title = {Symbolic Arrays in Symbolic PathFinder.},\n url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#FromherzLP16},\n volume = 41,\n year = 2016\n}\n\n","author_short":["Fromherz, A.","Luckow, K. S.","Pasareanu, C. S."],"key":"journals/sigsoft/FromherzLP16","id":"journals/sigsoft/FromherzLP16","bibbaseid":"fromherz-luckow-pasareanu-symbolicarraysinsymbolicpathfinder-2016","role":"author","urls":{"Link":"https://doi.org/10.1145/3011286.3011296","Paper":"http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#FromherzLP16"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.089Z","downloads":0,"keywords":["dblp"],"search_terms":["symbolic","arrays","symbolic","pathfinder","fromherz","luckow","pasareanu"],"title":"Symbolic Arrays in Symbolic PathFinder.","year":2016,"dataSources":["nk4Sfi2ddzBtdLpRN"]}