%0 Thesis %1 phd/dnb/Sakr21 %A Sakr, Mouhammad %D 2021 %K dblp %T Parameterized verification and repair of concurrent systems.

@phdthesis{phd/dnb/Sakr21, added-at = {2021-07-16T00:00:00.000+0200}, author = {Sakr, Mouhammad}, biburl = {https://www.bibsonomy.org/bibtex/2d936b3638a67dbe438303873807636b0/dblp}, ee = {https://d-nb.info/1236571320}, interhash = {31111ef3fc895a2a316e0d2edaeba71d}, intrahash = {d936b3638a67dbe438303873807636b0}, keywords = {dblp}, school = {Saarland University, Saarbrücken, Germany}, timestamp = {2024-04-09T08:19:27.000+0200}, title = {Parameterized verification and repair of concurrent systems.}, year = 2021 }