DMCA

Trace equivalence decision: Negative tests and non-determinism (2011)

by Vincent Cheval , Hubert Comon-lundh , Stéphanie Delaune
Venue:IN: CCS’11
Citations:25 - 9 self