Property Templates and Assertions Supporting Runtime Failure Detection (bibtex)
by Jochen Wuttke
Reference:
Property Templates and Assertions Supporting Runtime Failure Detection Jochen WuttkeTechnical report, University of Lugano, Switzerland, 2008
Bibtex Entry:
@string{star="STAR"}
@techreport{wuttke:runtimeFailures:USI:2008,
  groups = STAR,
  Author = {Jochen Wuttke},
  Institution = {University of Lugano, Switzerland},
  Month = {Aug},
  Number = {2008/04},
  Title = {Property Templates and Assertions Supporting Runtime
                  Failure Detection},
  Year = 2008
}
Powered by bibtexbrowser