%0 Conference Paper %1 conf/cdc/JobredeauxHNF12 %A Jobredeaux, Romain %A Herencia-Zapana, Heber %A Neogi, Natasha A. %A Feron, Eric %B CDC %D 2012 %I IEEE %K %P 1816-1821 %T Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2012.html#JobredeauxHNF12 %@ 978-1-4673-2065-8

@inproceedings{conf/cdc/JobredeauxHNF12, added-at = {2023-12-12T19:30:50.000+0100}, author = {Jobredeaux, Romain and Herencia-Zapana, Heber and Neogi, Natasha A. and Feron, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2a3223c33e90ae7d2890066140a24a337/admin}, booktitle = {CDC}, crossref = {conf/cdc/2012}, ee = {https://doi.org/10.1109/CDC.2012.6425966}, interhash = {21da6b6ac837d0d97c90df2966f6b6f5}, intrahash = {a3223c33e90ae7d2890066140a24a337}, isbn = {978-1-4673-2065-8}, keywords = {}, pages = {1816-1821}, publisher = {IEEE}, timestamp = {2023-12-12T19:30:50.000+0100}, title = {Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2012.html#JobredeauxHNF12}, year = 2012 }