## Jean-François Monin, Francis Klay

*Correctness Proof of the Standardized Algorithm for ABR Conformance*

FM, 1999.

@inproceedings{FM-v1-1999-MoninK, author = "Jean-François Monin and Francis Klay", booktitle = "{Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume I}", doi = "10.1007/3-540-48119-2_37", isbn = "3-540-66587-0", pages = "662--681", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Correctness Proof of the Standardized Algorithm for ABR Conformance}", volume = 1708, year = 1999, }