@inproceedings{conf/iceccs/LiangDSDS06,
title = {Formal Specification-based Online Monitoring.},
author = {Hui Liang and Jin Song Dong and Jing Sun and Roger Duke and Rudolph E. Seviora},
booktitle = {ICECCS},
crossref = {conf/iceccs/2006},
pages = {152-162},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2006.html#LiangDSDS06},
year = {2006},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56}, isbn = {0-7695-2530-X}, date = {2007-06-21},
keywords = {dblp }
}
::