BNYI09

L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using formal methods to increase confidence in a home network system implementation: a case study. Innovations in Systems and Software Engineering, 5(3):181-196, September 2009.

BibTex Reference

@article{BNYI09,
   Author = {du Bousquet, L. and Nakamura, M. and Yan, B. and Igaki, H.},
   Title = {Using formal methods to increase confidence in a home network system implementation: a case study},
   Journal = {Innovations in Systems and Software Engineering},
   Volume = {5},
   Number = {3},
   Pages = {181--196},
   Publisher = {Springer},
   Month = {September},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)