@InProceedings{sanchez07generating,
  author = 	 {C\'{e}sar S\'{a}nchez and Henny B. Sipma and Zohar Manna},
  title = 	 {Generating Efficient Distributed Deadlock Avoidance
                  Controllers}, 
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the Fifteenth International Workshop on
                  Parallel and Distributed Real-Time Systems (WPDRTS 2007)}, 
  OPTpages = 	 {},
  year = 	 {2007},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IEEE Computer Society Press},
  note = 	 {Collocated with The 21st IEEE International Parallel
                  and Distributed Processing Symposium (IPDPS'07)}, 
  OPTannote = 	 {}
}