BibTeX
@inproceedings{DBLP:conf/sac/LiQWLW08,
author = {Xuandong Li and
Xiaokang Qiu and
Linzhang Wang and
Bin Lei and
W. Eric Wong},
title = {UML state machine diagram driven runtime verification of
Java programs for message interaction consistency},
booktitle = {SAC},
year = {2008},
pages = {384-389},
ee = {http://doi.acm.org/10.1145/1363686.1363781},
crossref = {DBLP:conf/sac/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sac/2008,
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Proceedings of the 2008 ACM Symposium on Applied Computing
(SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
booktitle = {SAC},
publisher = {ACM},
year = {2008},
isbn = {978-1-59593-753-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-04-28 by Michael Ley (ley@uni-trier.de)