TACAS 1998

From OPENRESEARCH fixed Wiki
Revision as of 03:18, 11 December 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: PT/11/Lisbon, PT/11, PT
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