Specification of an Infinite-State Local Model Checker in Rewriting Logic.

Bow-Yaw Wang

Browse the full SEKE paper archive.