TA-2: A Prototype Analysing Dynamic SDL Properties.

Anders Ek Jan Ellsberger TA-2: A Prototype Analysing Dynamic SDL Properties. 519-522 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#EkE90