On automatically distinguishing inequivalent processes (1990)

by R Cleaveland
Venue:In Proceedings of CAV’90, Lecture Notes In Computer Science