State Identification and Verification using a Model Checker

Robinson-Mallett, Ch.; Liggesmeyer, P.

by Ch. Robinson-Mallett, P. Liggesmeyer

Reference:

C. Robinson-Mallett, P. Liggesmeyer, "State Identification and Verification using a Model Checker", in Software Engineering 2006 - SE 2006, pp. 131-142.

Bibtex Entry:

@INPROCEEDINGS{Robinson-Mallett2006a,
  author = {Robinson-Mallett, Ch. and Liggesmeyer, P.},
  title = {State Identification and Verification using a Model Checker},
  booktitle = {Software Engineering 2006 - SE 2006},
  year = {2006},
  pages = {131-142}
}