%0 Journal Article %1 burns03guide %A Burns, Alan %A Dobbing, Brian %A Vardanega, Tullio %C New York, NY, USA %D 2004 %I ACM %J Ada Lett. %K ada real-time profile %N 2 %P 1--74 %R http://doi.acm.org/10.1145/997119.997120 %T Guide for the use of the Ada Ravenscar Profile in high integrity systems %V XXIV

@article{burns03guide, added-at = {2011-12-16T09:34:41.000+0100}, address = {New York, NY, USA}, author = {Burns, Alan and Dobbing, Brian and Vardanega, Tullio}, biburl = {https://www.bibsonomy.org/bibtex/22fc6a88de5670097dbe0173e7e1c4629/pbrada}, doi = {http://doi.acm.org/10.1145/997119.997120}, groups = {public}, interhash = {30fb4e52283a4904f62a4eda1e4a353b}, intrahash = {2fc6a88de5670097dbe0173e7e1c4629}, issn = {1094-3641}, journal = {Ada Lett.}, keywords = {ada real-time profile}, number = 2, pages = {1--74}, publisher = {ACM}, timestamp = {2011-12-16T09:34:41.000+0100}, title = {Guide for the use of the Ada Ravenscar Profile in high integrity systems}, username = {pbrada}, volume = {XXIV}, year = 2004 }