%0 Conference Paper %1 conf/cisis/Raynal14 %A Raynal, Michel %B CISIS %D 2014 %I IEEE Computer Society %K dblp %P 273-278 %T Simple Deadlock Detection for the And-Communication Model. %U http://dblp.uni-trier.de/db/conf/cisis/cisis2014.html#Raynal14 %@ 978-1-4799-4325-8

@inproceedings{conf/cisis/Raynal14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Raynal, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2e2c364576534d2ddfb27aa278bfbfcba/dblp}, booktitle = {CISIS}, crossref = {conf/cisis/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/CISIS.2014.38}, interhash = {fc128c6cecd0f1c1d9dcf683c3102ec8}, intrahash = {e2c364576534d2ddfb27aa278bfbfcba}, isbn = {978-1-4799-4325-8}, keywords = {dblp}, pages = {273-278}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:54:02.000+0200}, title = {Simple Deadlock Detection for the And-Communication Model.}, url = {http://dblp.uni-trier.de/db/conf/cisis/cisis2014.html#Raynal14}, year = 2014 }