Requirements for a Practical Network Event Recognition Language (bibtex)
by Karthikeyan Bhargavan, Carl A. Gunter
Reference:
Requirements for a Practical Network Event Recognition Language (Karthikeyan Bhargavan, Carl A. Gunter), In Runtime Verification Workshop (RV'02), 2002.
Bibtex Entry:
@string{entcs="Electronic Notes in Theoretical Computer Science"}
@INPROCEEDINGS{BhargavanG02,
  author    = {Karthikeyan Bhargavan and
               Carl A. Gunter},
  title     = {Requirements for a Practical Network Event Recognition Language},
  booktitle   = {Runtime Verification Workshop (RV'02)},
%  series = entcs,
%  volume    = {70},
%  number    = {4},
  year      = {2002},
  pages     = {1-20},
url="pubs/requirements-nerl-rv02.pdf",
pdf="pubs/requirements-nerl-rv02.pdf",
}