On the Verification of Coordination (2000)

Cached

Download Links

by Paul Dechering , Izak Van Langevelde
Venue:In Proc. of COORDINATION, LNCS 1906
Citations:4 - 0 self