%0 Conference Paper %1 conf/forte/Flores-MontoyaAG13 %A Flores-Montoya, Antonio %A Albert, Elvira %A Genaim, Samir %B FMOODS/FORTE %D 2013 %E Beyer, Dirk %E Boreale, Michele %I Springer %K dblp %P 273-288 %T May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. %U http://dblp.uni-trier.de/db/conf/forte/forte2013.html#Flores-MontoyaAG13 %V 7892 %@ 978-3-642-38591-9

@inproceedings{conf/forte/Flores-MontoyaAG13, added-at = {2022-01-03T00:00:00.000+0100}, author = {Flores-Montoya, Antonio and Albert, Elvira and Genaim, Samir}, biburl = {https://www.bibsonomy.org/bibtex/2c572f8dcc67b7f0187ed12d8ecc9ea09/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2013}, editor = {Beyer, Dirk and Boreale, Michele}, ee = {https://doi.org/10.1007/978-3-642-38592-6_19}, interhash = {26b62263a159b277cbb70a3185a5f210}, intrahash = {c572f8dcc67b7f0187ed12d8ecc9ea09}, isbn = {978-3-642-38591-9}, keywords = {dblp}, pages = {273-288}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:16:39.000+0200}, title = {May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2013.html#Flores-MontoyaAG13}, volume = 7892, year = 2013 }