%0 Conference Paper %1 conf/birthday/LaneveP19 %A Laneve, Cosimo %A Padovani, Luca %B The Art of Modelling Computational Systems %D 2019 %E Alvim, Mário S. %E Chatzikokolakis, Kostas %E Olarte, Carlos %E Valencia, Frank %I Springer %K dblp %P 50-67 %T Deadlock Analysis of Wait-Notify Coordination. %U http://dblp.uni-trier.de/db/conf/birthday/palamidessi2019.html#LaneveP19 %V 11760 %@ 978-3-030-31175-9

@inproceedings{conf/birthday/LaneveP19, added-at = {2019-11-26T00:00:00.000+0100}, author = {Laneve, Cosimo and Padovani, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2d8a78f2b8067d29d22cb142d5548d9ab/dblp}, booktitle = {The Art of Modelling Computational Systems}, crossref = {conf/birthday/2019palamidessi}, editor = {Alvim, Mário S. and Chatzikokolakis, Kostas and Olarte, Carlos and Valencia, Frank}, ee = {https://doi.org/10.1007/978-3-030-31175-9_4}, interhash = {fbb33ab0bb46754be26af85a10adeebc}, intrahash = {d8a78f2b8067d29d22cb142d5548d9ab}, isbn = {978-3-030-31175-9}, keywords = {dblp}, pages = {50-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {Deadlock Analysis of Wait-Notify Coordination.}, url = {http://dblp.uni-trier.de/db/conf/birthday/palamidessi2019.html#LaneveP19}, volume = 11760, year = 2019 }