Ste en. Model Checking for Context-Free Processes (1992)

by O Burkart, B
Venue:In CONCUR'92