%0 Conference Paper %1 conf/cade/AthanasiouLW16 %A Athanasiou, Konstantinos %A Liu, Peizun %A Wahl, Thomas %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K dblp %P 516-531 %T Unbounded-Thread Program Verification using Thread-State Equations. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#AthanasiouLW16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/AthanasiouLW16, added-at = {2017-05-21T00:00:00.000+0200}, author = {Athanasiou, Konstantinos and Liu, Peizun and Wahl, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/270b2c1be9c5401657bb0c3b94be77a1e/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_35}, interhash = {8939c0a40f7760eace2c734db082a951}, intrahash = {70b2c1be9c5401657bb0c3b94be77a1e}, isbn = {978-3-319-40228-4}, keywords = {dblp}, pages = {516-531}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-26T08:03:43.000+0100}, title = {Unbounded-Thread Program Verification using Thread-State Equations.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#AthanasiouLW16}, volume = 9706, year = 2016 }