BibTeX
@inproceedings{DBLP:conf/asplos/TjangOMN06,
author = {Andrew Tjang and
F{\'a}bio Oliveira and
Richard P. Martin and
Thu D. Nguyen},
title = {A: an assertion language for distributed systems},
booktitle = {PLOS},
year = {2006},
pages = {8},
ee = {http://doi.acm.org/10.1145/1215995.1216003},
crossref = {DBLP:conf/asplos/2006plos},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/asplos/2006plos,
editor = {Christian W. Probst},
title = {Proceedings of the 3rd Workshop on Programming Languages
and Operating Systems: Linguistic Support for Modern Operating
Systems, PLOS 2006, San Jose, California, USA, October 22,
2006},
booktitle = {PLOS},
publisher = {ACM},
year = {2006},
isbn = {1-59593-577-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-05-15 by Michael Ley (ley@uni-trier.de)