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