Approximation of CFL by Regular Languages for Concurrent Program Verification.

Sukhamay Kundu, Supratik Mukhopadhyay

Browse the full COMPSAC paper archive.