Extended state identification and verification using a model checker

Robinson-Mallett, Ch.; Liggesmeyer, P.; Mücke, T.; Goltz, U.

by Ch. Robinson-Mallett, P. Liggesmeyer, T. Mücke, U. Goltz

Reference:

C. Robinson-Mallett et al., "Extended state identification and verification using a model checker", Information and Software Technology, vol. 48, no. 10, 2006, pp. 981-992.

Bibtex Entry:

@ARTICLE{Robinson-Mallett2006b,
  author = {Robinson-Mallett, Ch. and Liggesmeyer, P. and Mücke, T. and Goltz,
	U.},
  title = {Extended state identification and verification using a model checker},
  journal = {Information and Software Technology},
  year = {2006},
  volume = {48},
  pages = {981-992},
  number = {10}
}