Temporal Assertions using AspectJ. Stolz, V. & Bodden, E. Electr. Notes Theor. Comput. Sci., 144(4):109-124, 2006.
Temporal Assertions using AspectJ. [link]Paper  Temporal Assertions using AspectJ. [link]Link  bibtex   
@article{ journals/entcs/StolzB06,
  added-at = {2006-07-25T00:00:00.000+0200},
  author = {Stolz, Volker and Bodden, Eric},
  biburl = {http://www.bibsonomy.org/bibtex/2db83a188e5d9c7a3fb1da3bcc5abf8fd/dblp},
  date = {2006-07-25},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/j.entcs.2006.02.007},
  interhash = {f7beeb851121b6549cd50409898a43e2},
  intrahash = {db83a188e5d9c7a3fb1da3bcc5abf8fd},
  journal = {Electr. Notes Theor. Comput. Sci.},
  keywords = {dblp},
  number = {4},
  pages = {109-124},
  title = {Temporal Assertions using AspectJ.},
  url = {http://dblp.uni-trier.de/db/journals/entcs/entcs144.html#StolzB06},
  volume = {144},
  year = {2006}
}

Downloads: 0