Automatic Verification of Real-Time Designs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Víctor A. Braberman. Automatic Verification of Real-Time Designs. In ICSE. pages 716-717, 1999. [doi]

@inproceedings{Braberman99,
  title = {Automatic Verification of Real-Time Designs},
  author = {Víctor A. Braberman},
  year = {1999},
  url = {http://portal.acm.org/citation.cfm?id=302405.302990},
  researchr = {https://researchr.org/publication/Braberman99},
  cites = {0},
  citedby = {0},
  pages = {716-717},
  booktitle = {ICSE},
}

runs on WebDSL