Week Of November 1 - 4, 1995
Wednesday, November 1, 1995
Time: 4:30 PM
Title:
"Symbolic verification of times systems. The tool Kronos: theory and applications"
Speaker:
Sergio Yovine
Place: DIMACS Seminar Room 431, CoRE Building
dimacs-www@dimacs.rutgers.edu
Document last modified on October 5, 1995