cofi-reactive Mail Archive Threads 1999

Thread index
Last updated: Tue Feb 15 09:17:50 2000
11 messages
  • Minutes of the Amsterdam meeting/March 27-28, astes
  • CoFI-Reactive meeting/Paris/18-20 June' 99/minutes, astes
  • subject, hussmann
  • Joint coordination of CoFI-Reactive, hussmann
  • Publications in CoFI-Reactive - URGENT, hussmann
  • Publications : Reminder, hussmann
  • Plans for meeting in Genova, hussmann
  • CASL-LTL extension of CASL for reactive systems, hussmann
  • Meeting in Feb 2000, hussmann
  • CoFI-R Meeting: February 5-7, hussmann
    • Mail converted by MHonArc 2.4.0