447 | PDMC-2002: Parallel and Distributed Model Checking
![]() ![]() |
||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/08/19 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.fi.muni.cz/concur2002/PDMC | Àå ¼Ò | |
ÀÏÀÚ:2002/08/19 Àå¼Ò:Brno, Czech Republic |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.