Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

@inproceedings{Roychoudhury2004UnfoldFoldTF,
  title={Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems},
  author={Abhik Roychoudhury and C. R. Ramakrishnan},
  booktitle={Program Development in Computational Logic},
  year={2004}
}