%0 Conference Paper %1 conf/forte/AbdullaAKLRZ16 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Kaxiras, Stefanos %A Leonardsson, Carl %A Ros, Alberto %A Zhu, Yunyun %B FORTE %D 2016 %E Albert, Elvira %E Lanese, Ivan %I Springer %K %P 19-35 %T Fencing Programs with Self-Invalidation and Self-Downgrade. %U http://dblp.uni-trier.de/db/conf/forte/forte2016.html#AbdullaAKLRZ16 %V 9688 %@ 978-3-319-39569-2

@inproceedings{conf/forte/AbdullaAKLRZ16, added-at = {2023-12-14T15:41:15.000+0100}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Kaxiras, Stefanos and Leonardsson, Carl and Ros, Alberto and Zhu, Yunyun}, biburl = {https://www.bibsonomy.org/bibtex/2aac739753747990ca7fd95f6c70233d3/admin}, booktitle = {FORTE}, crossref = {conf/forte/2016}, editor = {Albert, Elvira and Lanese, Ivan}, ee = {https://doi.org/10.1007/978-3-319-39570-8_2}, interhash = {ee47b7746e9639001735d84d18b0bd9e}, intrahash = {aac739753747990ca7fd95f6c70233d3}, isbn = {978-3-319-39569-2}, keywords = {}, pages = {19-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:41:15.000+0100}, title = {Fencing Programs with Self-Invalidation and Self-Downgrade.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2016.html#AbdullaAKLRZ16}, volume = 9688, year = 2016 }