%0 Conference Paper %1 conf/concur/PeledWW96 %A Peled, Doron A. %A Wilke, Thomas %A Wolper, Pierre %B CONCUR %D 1996 %E Montanari, Ugo %E Sassone, Vladimiro %I Springer %K %P 596-610 %T An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. %U http://dblp.uni-trier.de/db/conf/concur/concur1996.html#PeledWW96 %V 1119 %@ 3-540-61604-7

@inproceedings{conf/concur/PeledWW96, added-at = {2023-12-12T19:04:39.000+0100}, author = {Peled, Doron A. and Wilke, Thomas and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/295f4776b1a5878e3b921ff427f26e43b/admin}, booktitle = {CONCUR}, crossref = {conf/concur/1996}, editor = {Montanari, Ugo and Sassone, Vladimiro}, ee = {https://doi.org/10.1007/3-540-61604-7_78}, interhash = {1b69101ee3e90cfb8bf8e66a65e7d603}, intrahash = {95f4776b1a5878e3b921ff427f26e43b}, isbn = {3-540-61604-7}, keywords = {}, pages = {596-610}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:04:39.000+0100}, title = {An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1996.html#PeledWW96}, volume = 1119, year = 1996 }