BibTeX record journals/cluster/NazirAMACKZKK17

download as .bib file

  author    = {Anam Nazir and
               Masoom Alam and
               Saif Ur Rehman Malik and
               Adnan Akhunzada and
               Muhammad Nadeem Cheema and
               Muhammad Khurram Khan and
               Yang Ziang and
               Tanveer Khan and
               Abid Khan},
  title     = {A high-level domain-specific language for {SIEM} (design, development
               and formal verification)},
  journal   = {Cluster Computing},
  volume    = {20},
  number    = {3},
  pages     = {2423--2437},
  year      = {2017}
a service of Schloss Dagstuhl - Leibniz Center for Informatics