%0 Conference Paper %1 conf/fmcad/JacobsSV22 %A Jacobs, Swen %A Sakr, Mouhammad %A Völp, Marcus %B FMCAD %D 2022 %E Griggio, Alberto %E Rungta, Neha %I IEEE %K dblp %P 225-234 %T Automatic Repair and Deadlock Detection for Parameterized Systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#JacobsSV22 %@ 978-3-85448-053-2

@inproceedings{conf/fmcad/JacobsSV22, added-at = {2023-02-13T00:00:00.000+0100}, author = {Jacobs, Swen and Sakr, Mouhammad and Völp, Marcus}, biburl = {https://www.bibsonomy.org/bibtex/21ded82c63adb2347a784790a9c1027e3/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2022}, editor = {Griggio, Alberto and Rungta, Neha}, ee = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_29}, interhash = {da5e0ddc35b2e5b12ac5e4ebf2847506}, intrahash = {1ded82c63adb2347a784790a9c1027e3}, isbn = {978-3-85448-053-2}, keywords = {dblp}, pages = {225-234}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Automatic Repair and Deadlock Detection for Parameterized Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#JacobsSV22}, year = 2022 }