%0 Conference Paper %1 conf/acsac/BernsteinK94 %A Bernstein, Mary M. %A Kim, Chulsoo %B ACSAC %D 1994 %I IEEE %K dblp %P 236-245 %T AOS: an avionics operating system for multi-level secure real-time environments. %U http://dblp.uni-trier.de/db/conf/acsac/acsac1994.html#BernsteinK94

@inproceedings{conf/acsac/BernsteinK94, added-at = {2015-04-17T00:00:00.000+0200}, author = {Bernstein, Mary M. and Kim, Chulsoo}, biburl = {https://www.bibsonomy.org/bibtex/21abe03b541de5a41a94f513152c6cb71/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/1994}, ee = {http://dx.doi.org/10.1109/CSAC.1994.367303}, interhash = {651192acbc008dd3ed944fc27f9cac04}, intrahash = {1abe03b541de5a41a94f513152c6cb71}, keywords = {dblp}, pages = {236-245}, publisher = {IEEE}, timestamp = {2015-06-18T22:43:00.000+0200}, title = {AOS: an avionics operating system for multi-level secure real-time environments.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac1994.html#BernsteinK94}, year = 1994 }