TY  - RPRT
TI  - Automated Synthesis of Assertion Monitors using Visual Specifications
AU  - Ambar A. Gadkari
AU  - S. Ramesh
PY  - 2007
UR  - https://arxiv.org/abs/0710.4698
ID  - 0710.4698
ER  -