%0 Journal Article %1 journals/corr/GiachinoLL15 %A Giachino, Elena %A Laneve, Cosimo %A Lienhardt, Michael %D 2015 %J CoRR %K %T A framework for deadlock detection in core ABS. %U http://dblp.uni-trier.de/db/journals/corr/corr1511.html#GiachinoLL15 %V abs/1511.04926

@article{journals/corr/GiachinoLL15, added-at = {2023-12-12T23:27:15.000+0100}, author = {Giachino, Elena and Laneve, Cosimo and Lienhardt, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2952000d940531a6fcd58ab913a069415/admin}, ee = {http://arxiv.org/abs/1511.04926}, interhash = {560158febd495fdb9bdf6eab02f182fb}, intrahash = {952000d940531a6fcd58ab913a069415}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T23:27:15.000+0100}, title = {A framework for deadlock detection in core ABS.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1511.html#GiachinoLL15}, volume = {abs/1511.04926}, year = 2015 }