TACAS 1998
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at TACAS 1998/rating
TACAS 1998 | |
---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 4 |
Event in series | TACAS |
Subevent of | ETAPS 1998 |
Dates | 1998-03-28 (iCal) - 1998-04-04 |
Presence | presence |
Homepage: | http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html |
Location | |
Location: | PT/11/Lisbon, PT/11, PT |
Papers: | Submitted 78 / Accepted 28 (35.9 %) |
Committees | |
PC chairs: | Bernhard Steffen |
Keynote speaker: | Randal Bryant |
Table of Contents | |
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998