BibTeX record journals/iajit/KhanW05

download as .bib file

@article{DBLP:journals/iajit/KhanW05,
  author    = {Sohel Khan and
               Abdul Waheed},
  title     = {Modeling and Formal Verification of {IMPP}},
  journal   = {Int. Arab J. Inf. Technol.},
  volume    = {2},
  number    = {3},
  pages     = {192--298},
  year      = {2005},
  url       = {http://www.iajit.org/ABSTRACTS-5.htm#03},
  timestamp = {Fri, 15 Jul 2005 07:32:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iajit/KhanW05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}