@Inproceedings{DL11,
   joint-pub = {false},
   status = {public},
   task = {T1.3},
   publisher = {Springer},
   doi = {10.1007/978-3-642-30065-3_9},
   booktitle = {Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers.},
   series = {Lecture Notes in Computer Science},
   year = {2012},
   isbn = {978-3-642-30064-6},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7173},
   main = {no},
   accessible = {true},
   title = {{Context Aware Specification and Verification of Distributed Systems}},
   editor = {R. Bruni and Vladimiro Sassone},
   author = {Liliana D'Errico and Michele Loreti},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UDF},
   wp = {wp1},
   pages = {142-159}
}