Bow-Yaw Wang
Specification of an Infinite-State Local Model Checker in Rewriting Logic
SEKE, 2005.
@inproceedings{SEKE-2005-Wang,
author = "Bow-Yaw Wang",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "442--447",
title = "{Specification of an Infinite-State Local Model Checker in Rewriting Logic}",
year = 2005,
}