Concurrent Runtime Monitoring of Formally Specified Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sriram Sankar, Manas Mandal. Concurrent Runtime Monitoring of Formally Specified Programs. IEEE Computer, 26(3):32-41, 1993.

@article{SankarM93:0,
  title = {Concurrent Runtime Monitoring of Formally Specified Programs},
  author = {Sriram Sankar and Manas Mandal},
  year = {1993},
  researchr = {https://researchr.org/publication/SankarM93%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {26},
  number = {3},
  pages = {32-41},
}

runs on WebDSL