Difference between revisions of "TACAS 1998"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
Line 22: Line 22:
 
|Submitted papers=78
 
|Submitted papers=78
 
|DblpConferenceId=tacas/tacas98
 
|DblpConferenceId=tacas/tacas98
 +
|TibKatId=333931750
 
|wikidataid=Q106426961
 
|wikidataid=Q106426961
 
}}
 
}}
 
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998
 
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998

Latest revision as of 03:18, 11 December 2021


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