Bounded Analysis and Decomposition for Behavioural Description of Components (2006)

by Pascal Poizat, Jean-Claude Royer, Gwen Salaün
Venue:4037 in Lecture Notes in Computer Science