Automatic verification of sequential infinitestate processes (1991)

by O Burkart
Venue:of Lecture Notes in Computer Science