1373 | TACAS 2003 | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2003/04/07-11 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.inrialpes.fr/vasy/tacas03/ | Àå ¼Ò | |
TACAS 2003 : 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems April 7-11, 2003 Warsaw, Poland |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.