Model Checking Software - On New Waves and Some Evergreens (bibtex)

by Bosnacki, Dragan and Edelkamp, Stefan

Reference:

Bosnacki, Dragan and Edelkamp, Stefan, "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}
}