[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 at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205M2.txt