387 | TACAS 2002:Tools and Algorithms for Construction and Analysis of Systems | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/04/08~12 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www-etaps.imag.fr/ | Àå ¼Ò | |
TACAS 2002:Tools and Algorithms for Construction and Analysis of Systems (held as part of The European Joint Conf. on Theory and Practice of Software) ÀÏÀÚ:2002/04/08~12 Àå¼Ò:Grenoble, France |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.