## Antoine Rauzy

*Toupie = μ-Calculus + Constraints*

CAV, 1995.

@inproceedings{CAV-1995-Rauzy, author = "Antoine Rauzy", booktitle = "{Proceedings of the Seventh International Conference on Computer Aided Verification}", doi = "10.1007/3-540-60045-0_44", isbn = "3-540-60045-0", pages = "114--126", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Toupie = μ-Calculus + Constraints}", volume = 939, year = 1995, }