The linear time - branching time spectrum ii (1993)

by R J van Glabbeek
Venue:of Lecture Notes in Computer Science