%0 Journal Article %1 journals/corr/abs-1206-3182 %A Cimatti, Alessandro %A Narasamdya, Iman %A Roveri, Marco %D 2012 %J Logical Methods in Computer Science %K dblp %N 2 %T Software Model Checking with Explicit Scheduler and Symbolic Threads %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1206-3182 %V 8

@article{journals/corr/abs-1206-3182, added-at = {2019-06-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Narasamdya, Iman and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/28f875bcc02e5f2b67931a74a5375ae97/dblp}, ee = {https://www.wikidata.org/entity/Q62041199}, interhash = {43e58d911b5f7d3e117874691cda65a7}, intrahash = {8f875bcc02e5f2b67931a74a5375ae97}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2019-06-04T12:19:56.000+0200}, title = {Software Model Checking with Explicit Scheduler and Symbolic Threads}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1206-3182}, volume = 8, year = 2012 }