TACAS 1997
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at TACAS 1997/rating
TACAS 1997 | |
---|---|
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 3 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 1997-04-02 (iCal) - 1997-04-04 |
Presence | presence |
Location | |
Location: | NL/OV/Enschede, NL/OV, NL |
Papers: | Submitted 54 / Accepted 20 (37 %) |
Committees | |
PC chairs: | Ed Brinksma |
Keynote speaker: | Gérard Berry, Kurt Jensen, Zohar Manna |
Table of Contents | |
The 3. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1997