ACL:ipsj08

B. Yan, M. Nakamura, L. du Bousquet, K.-I. Matsumoto. Validating Safety for Integrated Services of Home Network System Using JML. Journal of Information Processing (IPSJ), 16:38-49, 2008.

BibTex Reference

@article{ACL:ipsj08,
   Author = {Yan, B. and Nakamura, M. and du Bousquet, L. and Matsumoto, K.-I.},
   Title = {Validating Safety for Integrated Services of Home Network System Using JML},
   Journal = {Journal of Information Processing (IPSJ)},
   Volume = {16},
   Pages = {38--49},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)