DMCA

Symbolic Bounded Analysis for Component Behavioural Protocols (2005)

by Pascal Poizat , Jean-Claude Royer , Gwen Salaün
Venue:TECHNICAL REPORT, ÉCOLES DES MINES DE NANTES
Citations:1 - 1 self