%0 Conference Paper %1 conf/ifm/000120 %A Brunner, Julian %B IFM %D 2020 %E Dongol, Brijesh %E Troubitsyna, Elena %I Springer %K dblp %P 239-256 %T Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#000120 %V 12546 %@ 978-3-030-63461-2

@inproceedings{conf/ifm/000120, added-at = {2021-09-16T00:00:00.000+0200}, author = {Brunner, Julian}, biburl = {https://www.bibsonomy.org/bibtex/26ab1261239c9ffe76d1acc745dbf5d9b/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2020}, editor = {Dongol, Brijesh and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-030-63461-2_13}, interhash = {1e989f444a38b9259eaea1ce7e60479f}, intrahash = {6ab1261239c9ffe76d1acc745dbf5d9b}, isbn = {978-3-030-63461-2}, keywords = {dblp}, pages = {239-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:33:15.000+0200}, title = {Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#000120}, volume = 12546, year = 2020 }