Testing Containment of omega-regular Languages", Bell Labs (1986)

by R P Kurshan
Venue:In Bell Labs