%0 Conference Paper %1 journals/corr/abs-2108-09101 %A Esparza, Javier %A Raskin, Mikhail A. %A Welzel, Christoph %B GandALF %D 2021 %E Ganty, Pierre %E Bresolin, Davide %K dblp %P 1-17 %T Abduction of trap invariants in parameterized systems. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs346.html#abs-2108-09101 %V 346

@inproceedings{journals/corr/abs-2108-09101, added-at = {2022-12-07T00:00:00.000+0100}, author = {Esparza, Javier and Raskin, Mikhail A. and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27b142c438c4ebbf159f667cecd565d27/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-2109-07798}, editor = {Ganty, Pierre and Bresolin, Davide}, ee = {https://arxiv.org/abs/2108.09101}, interhash = {263fea3ce30cabfe6d48b6c4ff1965fd}, intrahash = {7b142c438c4ebbf159f667cecd565d27}, keywords = {dblp}, pages = {1-17}, series = {EPTCS}, timestamp = {2024-04-09T09:29:47.000+0200}, title = {Abduction of trap invariants in parameterized systems.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs346.html#abs-2108-09101}, volume = 346, year = 2021 }