Verification of Temporal and Real-Time properties of Statecharts (1997)

by Francesca Levi
Citations:20 - 3 self