Nils Klarlund, Anders Møller, Michael I. Schwartzbach. MONA Implementation Secrets. In Sheng Yu, Andrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Volume 2088 of Lecture Notes in Computer Science, pages 182-194, Springer, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.