Model Checking Software - On New Waves and Some Evergreens (bibtex)
by Dragan Bosnacki, Stefan Edelkamp
Reference:
Dragan Bosnacki, Stefan Edelkamp, "Model Checking Software - On New Waves and Some Evergreens", In International Journal on Software Tools for Technology, vol. 12, no. 2, pp. 89-95, 2010.
Bibtex Entry:
@ARTICLE{Bosnacki2010a,
  author = {Bosnacki, Dragan and Edelkamp, Stefan},
  title = {Model Checking Software - On New Waves and Some Evergreens},
  journal = {International Journal on Software Tools for Technology},
  year = {2010},
  volume = {12},
  pages = {89--95},
  number = {2},
  owner = {pmania},
  timestamp = {2012.11.06}
}
Powered by bibtexbrowser