BibTeX
@inproceedings{DBLP:conf/aswec/ZhuZH09,
author = {Huibiao Zhu and
Yongxin Zhao and
Jifeng He},
title = {Locality-Based Normal Form Approach to Linking Algebraic
Semantics and Operational Semantics for an Event-Driven
System-Level Language},
booktitle = {Australian Software Engineering Conference},
year = {2009},
pages = {297-306},
ee = {http://dx.doi.org/10.1109/ASWEC.2009.20},
crossref = {DBLP:conf/aswec/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aswec/2009,
title = {20th Australian Software Engineering Conference (ASWEC 2009),
14-17 April 2009, Golad Cost, Australia},
booktitle = {Australian Software Engineering Conference},
publisher = {IEEE Computer Society},
year = {2009},
isbn = {978-0-7695-3599-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-07-08 by Michael Ley (ley@uni-trier.de)