%0 Conference Paper %1 conf/iconip/Ando09a %A Ando, Ruo %B ICONIP (2) %D 2009 %E Leung, Chi-Sing %E Lee, Minho %E Chan, Jonathan Hoyin %I Springer %K dblp %P 540-547 %T Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning. %U http://dblp.uni-trier.de/db/conf/iconip/iconip2009-4.html#Ando09a %V 5864 %@ 978-3-642-10682-8

@inproceedings{conf/iconip/Ando09a, added-at = {2017-05-24T00:00:00.000+0200}, author = {Ando, Ruo}, biburl = {https://www.bibsonomy.org/bibtex/2f3ea0f1f9d1ca71299922266191bed9a/dblp}, booktitle = {ICONIP (2)}, crossref = {conf/iconip/2009-4}, editor = {Leung, Chi-Sing and Lee, Minho and Chan, Jonathan Hoyin}, ee = {https://doi.org/10.1007/978-3-642-10684-2_60}, interhash = {5bcd6c46c58027caba9f47551c3f2a9e}, intrahash = {f3ea0f1f9d1ca71299922266191bed9a}, isbn = {978-3-642-10682-8}, keywords = {dblp}, pages = {540-547}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-26T07:36:53.000+0200}, title = {Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/iconip/iconip2009-4.html#Ando09a}, volume = 5864, year = 2009 }