Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001. On the State Reachability Problem for Concurrent Programs Under Power. In Chryssis Georgiou, Rupak Majumdar, editors, Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings. Volume 12129 of Lecture Notes in Computer Science, pages 47-59, Springer, 2020. [doi]
@inproceedings{AbdullaABDLM20,
title = {On the State Reachability Problem for Concurrent Programs Under Power},
author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Ahmed Bouajjani and Egor Derevenetc and Carl Leonardsson and Roland Meyer 0001},
year = {2020},
doi = {10.1007/978-3-030-67087-0_4},
url = {https://doi.org/10.1007/978-3-030-67087-0_4},
researchr = {https://researchr.org/publication/AbdullaABDLM20},
cites = {0},
citedby = {0},
pages = {47-59},
booktitle = {Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings},
editor = {Chryssis Georgiou and Rupak Majumdar},
volume = {12129},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-67087-0},
}