Combination Model Checking: Approach and a Case Study

@inproceedings{Choi-Heimdahl:ASE04,
  author    = {Yunja Choi and
               Mats Per Erik Heimdahl},
  title     = {Combination Model Checking: Approach and a Case Study},
  booktitle = {ASE},
  pages     = {354--357},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}