[M2]
_________________________
AMAST Links 02 05
2nd AMAST Workshop on Real-Time Systems
Models & Proofs
Bordeaux, France, 14-16 june 1995
Update
of
[AL0201C1]
.
The
full version
of the workshop program is available.