Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties.

Laura Bozzelli

Browse the full VMCAI paper archive.