@Inproceedings{BBPQ12,
   status = {public},
   link = {http://www.research.ibm.com/haifa/conferences/hvc2012/papers/paper10.pdf},
   task = {T2.2},
   booktitle = {Proceedings of the 8th Haifa Verification Conference (HVC'12)},
   joint-pub = {false},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   main = {no},
   title = {{Knowledge Based Transactional Behavior}},
   author = {Saddek Bensalem and Marius Bozga and Doron Peled and Jean Quilbeuf},
   period = {year2},
   owner = {kroiss},
   accessible = {true},
   partner = {Verimag},
   ascens_ref = {true},
   wp = {WP2}
}