TY - SLIDE
KW - workshop
KW - verification methods
AU - Tim Hewson
C1 - Events
DA - 2007
LA - eng
PY - 2007
TI - The concept of deterministic limit
UR -  
ER -