131
click to vote
SOFSEM
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...