Search Results for Communication and technology - Narrowed by: Steffen, Bernhard - Choi, Jin-young SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dCommunication$002band$002btechnology$0026qf$003dAUTHOR$002509Author$002509Steffen$00252C$002bBernhard.$002509Steffen$00252C$002bBernhard$0026qf$003dAUTHOR$002509Author$002509Choi$00252C$002bJin-young.$002509Choi$00252C$002bJin-young$0026ps$003d300?dt=list 2019-10-16T09:27:48Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:610715 2019-10-16T09:27:48Z 2019-10-16T09:27:48Z Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings<br/>by&#160;Hutchison, David.&#160;Cha, Sungdeok (Steve)&#160;Choi, Jin-young.&#160;Kanade, Takeo.&#160;Kim, Moonzoo.<br/>Published&#160;2008.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-88387-6">e-book</a><br/>