## Rom Langerak, Ed Brinksma

*A Complete Finite Prefix for Process Algebra*

CAV, 1999.

@inproceedings{CAV-1999-LangerakB, author = "Rom Langerak and Ed Brinksma", booktitle = "{Proceedings of the 11th International Conference on Computer Aided Verification}", doi = "10.1007/3-540-48683-6_18", isbn = "3-540-66202-2", pages = "184--195", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Complete Finite Prefix for Process Algebra}", volume = 1633, year = 1999, }