Model checking and context-free processes (1992)

by O AND STEFFEN BURKART, B
Venue:In CONCUR ’92