Difference between revisions of "TACAS 1995"
Jump to navigation
Jump to search
Line 14: | Line 14: | ||
|Country=Denmark | |Country=Denmark | ||
|presence=presence | |presence=presence | ||
+ | |has program chair=Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen | ||
|Submitted papers=32 | |Submitted papers=32 | ||
|Accepted papers=12 | |Accepted papers=12 |
Revision as of 10:10, 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 %) |
Committees | |
PC chairs: | Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen |
Table of Contents | |
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995