Search Results for Communication and technology - Narrowed by: Mattern, Friedemann - Lee, Insup SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dCommunication$002band$002btechnology$0026qf$003dAUTHOR$002509Author$002509Mattern$00252C$002bFriedemann.$002509Mattern$00252C$002bFriedemann$0026qf$003dAUTHOR$002509Author$002509Lee$00252C$002bInsup.$002509Lee$00252C$002bInsup$0026ps$003d300?dt=list 2019-10-23T03:00:30Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:610715 2019-10-23T03:00:30Z 2019-10-23T03:00:30Z 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/>