TACAS 1997

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain7.svg

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
Loading map...

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