21582 | SPIN`03 | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2003/05/09-10 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://campus.acm.org/calendar/confpage.cfm?ConfID=2003-3058 | Àå ¼Ò | |
SPIN`03 : The 10th International SPIN Workshop on Model Checking of Software May 09-10, 2003 Portland, Oregon, United States |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.