%0 Conference Paper %1 conf/concur/EsparzaRW22 %A Esparza, Javier %A Raskin, Mikhail A. %A Welzel, Christoph %B CONCUR %D 2022 %E Klin, Bartek %E Lasota, Slawomir %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:19 %T Regular Model Checking Upside-Down: An Invariant-Based Approach. %U http://dblp.uni-trier.de/db/conf/concur/concur2022.html#EsparzaRW22 %V 243 %@ 978-3-95977-246-4

@inproceedings{conf/concur/EsparzaRW22, 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/2d9066f5b83c3fc8fe25967317208d7d3/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2022}, editor = {Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.23}, interhash = {7c42aa324ab69a9ad3ad5435d2ca4848}, intrahash = {d9066f5b83c3fc8fe25967317208d7d3}, isbn = {978-3-95977-246-4}, keywords = {dblp}, pages = {23:1-23:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {Regular Model Checking Upside-Down: An Invariant-Based Approach.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2022.html#EsparzaRW22}, volume = 243, year = 2022 }