cofi-reactive Mail Archives 1999

• Thread Index

• CoFI-R Meeting: February 5-7
  99/12/21 -- hussmann
• Meeting in Feb 2000
  99/12/20 -- hussmann
• CASL-LTL extension of CASL for reactive systems
  99/12/20 -- hussmann
• Plans for meeting in Genova
  99/12/07 -- hussmann
• Publications : Reminder
  99/10/07 -- hussmann
• Publications in CoFI-Reactive - URGENT
  99/10/05 -- hussmann
• subject
  99/10/05 -- hussmann
• Joint coordination of CoFI-Reactive
  99/10/05 -- hussmann
• subject
  99/10/05 -- hussmann
• CoFI-Reactive meeting/Paris/18-20 June' 99/minutes
  99/07/13 -- astes
• Minutes of the Amsterdam meeting/March 27-28
  99/06/07 -- astes