Temporal Assertions using AspectJ (bibtex)
@inproceedings{RVTemporal,
	Author = {Volker Stolz and Eric Bodden},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {5th Workshop on Runtime Verification},
	Ee = {http://dx.doi.org/10.1016/j.entcs.2006.02.007},
	Month = jul,
	Number = {4},
	Pages = {109--124},
	Series = {Electronic Notes in Theoretical Computer Science},
	Title = {{Temporal Assertions using AspectJ}},
	Url = {http://www.bodden.de/pubs/sb05temporal.pdf},
	Volume = {144},
	Year = {2005},
	Publisher = {Elsevier},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/sb05temporal.pdf}}
Powered by bibtexbrowser