Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:34 - 4 self