%0 Conference Paper %1 conf/tacas/AbdullaAAJLS15 %A Abdulla, Parosh Aziz %A Aronis, Stavros %A Atig, Mohamed Faouzi %A Jonsson, Bengt %A Leonardsson, Carl %A Sagonas, Konstantinos %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 353-367 %T Stateless Model Checking for TSO and PSO. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#AbdullaAAJLS15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/AbdullaAAJLS15, added-at = {2021-08-31T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Aronis, Stavros and Atig, Mohamed Faouzi and Jonsson, Bengt and Leonardsson, Carl and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/266b22ff01d79fe680ec9f16ee34ed1cd/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_28}, interhash = {951b9da30bc24c372b6c9d7d46dc1a90}, intrahash = {66b22ff01d79fe680ec9f16ee34ed1cd}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {353-367}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {Stateless Model Checking for TSO and PSO.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#AbdullaAAJLS15}, volume = 9035, year = 2015 }