Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/forte/GiachinoL11
AU - Giachino, Elena
AU - Laneve, Cosimo
TI - Analysis of Deadlocks in Object Groups.
BT - Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
SP - 168
EP - 182
PY - 2011//
DO - 10.1007/978-3-642-21461-5_11
UR - https://doi.org/10.1007/978-3-642-21461-5_11
ER -
