Toward Unbounded Model Checking for Region Automata.

Fang Yu, Bow-Yaw Wang

Browse the full ATVA paper archive.