Symbolic Bounded Analysis for Component Behavioural Protocols (2005)

by P Poizat, J-C Royer, G Salaün
Venue:Technical report, Écoles des Mines de Nantes