%0 Conference Paper %1 journals/entcs/Burkart97 %A Burkart, Olaf %B INFINITY %D 1997 %E Moller, Faron %I Elsevier %K dblp %P 25 %T Model checking rationally restricted right closures of recognizable graphs. %U http://dblp.uni-trier.de/db/journals/entcs/entcs9.html#Burkart97 %V 9

@inproceedings{journals/entcs/Burkart97, added-at = {2021-02-12T00:00:00.000+0100}, author = {Burkart, Olaf}, biburl = {https://www.bibsonomy.org/bibtex/26bddebe45a9851e201b263e45885ceff/dblp}, booktitle = {INFINITY}, crossref = {conf/infinity/1997}, editor = {Moller, Faron}, ee = {https://doi.org/10.1016/S1571-0661(05)80424-4}, interhash = {9c96606fee8268e5b7cd5e7b1628bd45}, intrahash = {6bddebe45a9851e201b263e45885ceff}, keywords = {dblp}, pages = 25, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:25:09.000+0200}, title = {Model checking rationally restricted right closures of recognizable graphs.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs9.html#Burkart97}, volume = 9, year = 1997 }