%0 Conference Paper %1 conf/caap/ClarkeBK90 %A Clarke, Edmund M. %A Browne, Anca %A Kurshan, Robert P. %B CAAP %D 1990 %E Arnold, André %I Springer %K dblp %P 103-116 %T A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. %U http://dblp.uni-trier.de/db/conf/caap/caap90.html#ClarkeBK90 %V 431 %@ 3-540-52590-4

@inproceedings{conf/caap/ClarkeBK90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Clarke, Edmund M. and Browne, Anca and Kurshan, Robert P.}, biburl = {https://www.bibsonomy.org/bibtex/2d423ed93610dfe9048281f11eb7601e3/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1990}, editor = {Arnold, André}, ee = {https://doi.org/10.1007/3-540-52590-4_43}, interhash = {47a795e05f7ea7c838464a932bc65292}, intrahash = {d423ed93610dfe9048281f11eb7601e3}, isbn = {3-540-52590-4}, keywords = {dblp}, pages = {103-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:20.000+0200}, title = {A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap90.html#ClarkeBK90}, volume = 431, year = 1990 }