Paul Gastin, Antoine Petit, Wieslaw Zielonka. An Extension of Kleene s and Ochmanski s Theorems to Infinite Traces. Theoretical Computer Science, 125(2):167-204, 1994.
No references recorded for this publication.
No citations of this publication recorded.