%0 Conference Paper %1 conf/case/ReveliotisR007 %A Reveliotis, Spiridon %A Roszkowska, Elzbieta %A Choi, Jin Young %B CASE %D 2007 %I IEEE %K dblp %P 200-206 %T Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. %U http://dblp.uni-trier.de/db/conf/case/case2007.html#ReveliotisR007 %@ 978-1-4244-1154-2

@inproceedings{conf/case/ReveliotisR007, added-at = {2017-05-25T00:00:00.000+0200}, author = {Reveliotis, Spiridon and Roszkowska, Elzbieta and Choi, Jin Young}, biburl = {https://www.bibsonomy.org/bibtex/2ddca834f056e8b97357cbe76c9173ca0/dblp}, booktitle = {CASE}, crossref = {conf/case/2007}, ee = {https://doi.org/10.1109/COASE.2007.4341690}, interhash = {3107dc649e3dc368fa70bbaa0799a4ac}, intrahash = {ddca834f056e8b97357cbe76c9173ca0}, isbn = {978-1-4244-1154-2}, keywords = {dblp}, pages = {200-206}, publisher = {IEEE}, timestamp = {2019-10-17T21:18:09.000+0200}, title = {Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming.}, url = {http://dblp.uni-trier.de/db/conf/case/case2007.html#ReveliotisR007}, year = 2007 }