24 results Refine Results
  1. 21
    Published 2004
    Connect to electronic version.
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /
  2. 22
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings /
  3. 23
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers /
  4. 24
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /

Search Tools: