發信人delilah.bbs@bbs.ntu.edu.tw (delilah),
看板csiegeneral
標 題Is there anyone study about model checking?
發信站台大計中椰林風情站 (Thu Aug 14 18:33:26 2003)
轉信站ptt!ctu-reader!ctu-peer!news.nctu!netnews.csie.nctu!freebsd.ntu!news.n
as title
--
☆ [Origin:椰林風情] [From: 211.150.250.93] [Login: 22] [Post: 1]