[MB] ================================================ AMAST Links 02 05

 15th Int'l Symp. on Protocol Specification, Testing and Verification
                   Warsaw, Poland, 13 - 16 June 1995

   *Update* of information in [SIAN02p3-3].

   The _Program and Registration Information_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205MB.txt