%0 Conference Paper %1 conf/icdcit/Rushby16 %A Rushby, John %B ICDCIT %D 2016 %E Bjørner, Nikolaj %E Prasad, Sanjiva %E Parida, Laxmi %I Springer %K dblp %P 19-29 %T Trustworthy Self-Integrating Systems. %U http://dblp.uni-trier.de/db/conf/icdcit/icdcit2016.html#Rushby16 %V 9581 %@ 978-3-319-28033-2

@inproceedings{conf/icdcit/Rushby16, added-at = {2017-05-25T00:00:00.000+0200}, author = {Rushby, John}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c62c775289f5c9e9ddc6120f4278f759/dblp}, booktitle = {ICDCIT}, crossref = {conf/icdcit/2016}, editor = {Bjørner, Nikolaj and Prasad, Sanjiva and Parida, Laxmi}, ee = {https://doi.org/10.1007/978-3-319-28034-9_3}, interhash = {d2674f628c22695871b53e8fa9a370b7}, intrahash = {c62c775289f5c9e9ddc6120f4278f759}, isbn = {978-3-319-28033-2}, keywords = {dblp}, pages = {19-29}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:08:24.000+0200}, title = {Trustworthy Self-Integrating Systems.}, url = {http://dblp.uni-trier.de/db/conf/icdcit/icdcit2016.html#Rushby16}, volume = 9581, year = 2016 }