DMCA

Proof methodologies for behavioural equivalence in DPI (2005)

Cached

Download Links

by Alberto Ciaffaglione , Matthew Hennessy , Julian Rathke
Venue:In Proc. FORTE ’05, volume 3731 of LNCS
Citations:4 - 1 self