%0 Conference Paper %1 conf/netys/AbdullaABKS22 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Bouajjani, Ahmed %A Kumar, K. Narayan %A Saivasan, Prakash %B NETYS %D 2022 %E Koulali, Mohammed-Amine %E Mezini, Mira %I Springer %K dblp %P 283-300 %T Verifying Reachability for TSO Programs with Dynamic Thread Creation. %U http://dblp.uni-trier.de/db/conf/netys/netys2022.html#AbdullaABKS22 %V 13464 %@ 978-3-031-17436-0

@inproceedings{conf/netys/AbdullaABKS22, added-at = {2022-10-04T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Bouajjani, Ahmed and Kumar, K. Narayan and Saivasan, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/27d5ebf9488254f02d6d633291635c2d0/dblp}, booktitle = {NETYS}, crossref = {conf/netys/2022}, editor = {Koulali, Mohammed-Amine and Mezini, Mira}, ee = {https://doi.org/10.1007/978-3-031-17436-0_19}, interhash = {52e737ae9aed803ba8769ee035e72f7e}, intrahash = {7d5ebf9488254f02d6d633291635c2d0}, isbn = {978-3-031-17436-0}, keywords = {dblp}, pages = {283-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:44:46.000+0200}, title = {Verifying Reachability for TSO Programs with Dynamic Thread Creation.}, url = {http://dblp.uni-trier.de/db/conf/netys/netys2022.html#AbdullaABKS22}, volume = 13464, year = 2022 }