KimB06

Il-Gon Kim, Debmalya Biswas. Application of Model Checking to AXML System's Security: A Case Study. In WS-FM, Volume LNCS 4184, Pages 242-256, 2006.

Keywords

[ Axml ] [ Web services ]

BibTex Reference

@InProceedings{KimB06,
   Author = {Kim, Il-Gon and Biswas, Debmalya},
   Title = {Application of Model Checking to AXML System's Security: A Case Study},
   BookTitle = {WS-FM},
   Volume = {LNCS 4184},
   Pages = {242--256},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)