%0 Conference Paper %1 https://doi.org/10.4230/lipics.concur.2022.23 %A Esparza, Javier %A Raskin, Mikhail %A Welzel, Christoph %D 2022 %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K conference %R 10.4230/LIPICS.CONCUR.2022.23 %T Regular Model Checking Upside-Down: An Invariant-Based Approach %U https://drops.dagstuhl.de/opus/volltexte/2022/17086/

@inproceedings{https://doi.org/10.4230/lipics.concur.2022.23, added-at = {2022-11-16T15:50:10.000+0100}, author = {Esparza, Javier and Raskin, Mikhail and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2e789e0181e931b161cd560d0cac64f54/paves}, copyright = {Creative Commons Attribution 4.0 International license}, doi = {10.4230/LIPICS.CONCUR.2022.23}, interhash = {7c42aa324ab69a9ad3ad5435d2ca4848}, intrahash = {e789e0181e931b161cd560d0cac64f54}, keywords = {conference}, language = {en}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, timestamp = {2023-09-24T19:39:25.000+0200}, title = {Regular Model Checking Upside-Down: An Invariant-Based Approach}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/17086/}, year = 2022 }