TACAS 1998

From OPENRESEARCH fixed Wiki
Revision as of 16:14, 3 November 2021 by Orapi (talk | contribs) (modified through wikirestore by orapi)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain7.svg

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: Lisbon, PT/11, Portugal
Loading map...

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