@Inproceedings{FORTE/FMOODS13p45,
   joint-pub = {false},
   status = {public},
   link = {http://www.cs.aub.edu.lb/pa07/files/papers/tech-reps/dfBIP-TR.pdf},
   task = {T5.2},
   publisher = {Springer},
   doi = {10.1007/978-3-642-38592-6_12},
   booktitle = {Proc.\ FORTE/FMOODS},
   year = {2013},
   invited = {no},
   timestamp = {2013.11.07},
   main = {yes},
   accessible = {true},
   title = {{An Abstract Framework for Deadlock Prevention in BIP}},
   author = {Paul Attie and Saddek Bensalem and Marius Bozga and Mohamad Jaber and Joseph Sifakis and Fadi Zaraket},
   period = {year3},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {Verimag},
   wp = {WP5}
}