%0 Journal Article %1 journals/sigops/HeZCC97 %A He, Yanxiang %A Zhang, Jianping %A Cooley, Donald H. %A Chen, Li %D 1997 %J ACM SIGOPS Oper. Syst. Rev. %K dblp %N 4 %P 85-92 %T The Semantics Subsystem in Distributed OS Formalization Generating System. %U http://dblp.uni-trier.de/db/journals/sigops/sigops31.html#HeZCC97 %V 31

@article{journals/sigops/HeZCC97, added-at = {2024-07-18T00:00:00.000+0200}, author = {He, Yanxiang and Zhang, Jianping and Cooley, Donald H. and Chen, Li}, biburl = {https://www.bibsonomy.org/bibtex/22be5b1647c87a3539e876ee65e3168e3/dblp}, ee = {https://doi.org/10.1145/271019.271036}, interhash = {c8fb93a62b4e3dd81ba7e4950ae2b6ac}, intrahash = {2be5b1647c87a3539e876ee65e3168e3}, journal = {ACM SIGOPS Oper. Syst. Rev.}, keywords = {dblp}, number = 4, pages = {85-92}, timestamp = {2024-07-22T07:15:00.000+0200}, title = {The Semantics Subsystem in Distributed OS Formalization Generating System.}, url = {http://dblp.uni-trier.de/db/journals/sigops/sigops31.html#HeZCC97}, volume = 31, year = 1997 }