%0 Conference Paper %1 conf/sas/AbdullaJT16 %A Abdulla, Parosh Aziz %A Jonsson, Bengt %A Trinh, Cong Quy %B SAS %D 2016 %E Rival, Xavier %I Springer %K dblp %P 61-83 %T Automated Verification of Linearization Policies. %U http://dblp.uni-trier.de/db/conf/sas/sas2016.html#AbdullaJT16 %V 9837 %@ 978-3-662-53412-0

@inproceedings{conf/sas/AbdullaJT16, added-at = {2021-08-31T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Jonsson, Bengt and Trinh, Cong Quy}, biburl = {https://www.bibsonomy.org/bibtex/271cf0694068a07a486b7c5acff4900a5/dblp}, booktitle = {SAS}, crossref = {conf/sas/2016}, editor = {Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-662-53413-7_4}, interhash = {41c6472742e88e67b17707e3b062e8ad}, intrahash = {71cf0694068a07a486b7c5acff4900a5}, isbn = {978-3-662-53412-0}, keywords = {dblp}, pages = {61-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:16:57.000+0200}, title = {Automated Verification of Linearization Policies.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2016.html#AbdullaJT16}, volume = 9837, year = 2016 }