80
Voted
DSVIS
2008
Springer
15 years 21 days ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...