109
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...