@inproceedings{artho-rv10,
  author = {C. Artho},
  title = {Run-time Verification of Networked Software},
  booktitle = {Proc.\ Conf.\ on Runtime Verification (RV~2010)},
  year = {2010},
  publisher = {Springer},
  series = {LNCS},
  volume = {6418},
  pages = {59--73},
  address = {St.\ Julians, Malta},
}