Christine Ernoult, Alan Mycroft
Uniform Ideals and Strictness Analysis
ICALP, 1991.
@inproceedings{ICALP-1991-ErnoultM, author = "Christine Ernoult and Alan Mycroft", booktitle = "{Proceedings of the 18th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-54233-7_124", isbn = "3-540-54233-7", pages = "47--59", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Uniform Ideals and Strictness Analysis}", volume = 510, year = 1991, }