TACAS 2008

From OPENRESEARCH i5 copy Wiki
Revision as of 18:31, 13 January 2021 by Wf (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Event
Name Value
isA Event
Acronym TACAS 2008
Title International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008
Start date 2008/03/29
End date 2008/04/06
Homepage www.cs.stonybrook.edu/~tacas2008/
... ...
Retrieved from "https://confident.dbis.rwth-aachen.de/ori5/index.php?title=TACAS_2008&oldid=9192"