## Paul Gastin, Antoine Petit, Wieslaw Zielonka

*A Kleene Theorem for Infinite Trace Languages*

ICALP, 1991.

@inproceedings{ICALP-1991-GastinPZ, author = "Paul Gastin and Antoine Petit and Wieslaw Zielonka", booktitle = "{Proceedings of the 18th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-54233-7_139", isbn = "3-540-54233-7", pages = "254--266", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Kleene Theorem for Infinite Trace Languages}", volume = 510, year = 1991, }