## Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi

*Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming*

CASE, 2007.

@inproceedings{CASE-2007-ReveliotisR0, author = "Spiridon Reveliotis and Elzbieta Roszkowska and Jin Young Choi", booktitle = "{Proceedings of the Third International Conference on Automation Science and Engineering}", doi = "10.1109/COASE.2007.4341690", isbn = "978-1-4244-1154-2", pages = "200--206", publisher = "{IEEE}", title = "{Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming}", year = 2007, }