Difference between revisions of "TACAS 1995"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 1995 |Title=International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020 |Ordinal=1 |Type=Workshop |Supereve...") |
|||
Line 3: | Line 3: | ||
|Title=International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020 | |Title=International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020 | ||
|Ordinal=1 | |Ordinal=1 | ||
+ | |Series=TACAS | ||
|Type=Workshop | |Type=Workshop | ||
|Superevent=ETAPS | |Superevent=ETAPS |
Revision as of 08:51, 7 October 2021
TACAS 1995 | |
---|---|
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020
| |
Ordinal | 1 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 1995/05/19 (iCal) - 1995/05/20 |
Presence | presence |
Location | |
Location: | Aarhus, Denmark |
Papers: | Submitted 32 / Accepted 12 (37.5 %) |
Table of Contents | |
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995