Reachability Analysis for Some Models of Infinite-State Transition Systems.

Oscar H. Ibarra, Tevfik Bultan, Jianwen Su

Browse the full CONCUR paper archive.