Reachability Analysis on Distributed Executions (1992)

by C Diehl, C Jard, J X Rampon
Venue:Publication interne 661, IRISA, Juin