Inproceedings,

Deterministic Dynamic Monitors for Linear-Time Assertions.

, , , , and .
FATES/RV, volume 4262 of Lecture Notes in Computer Science, page 163-177. Springer, (2006)

Meta data

Tags

Users

  • @dkorchem
  • @dblp

Comments and Reviews