E. Baykan, M. Henzinger, L. Marian, и I. Weber. WWW '09: Proceedings of the 18th international conference on World wide web, стр. 1109--1110. New York, NY, USA, ACM, (2009)
E. Baykan, M. Henzinger, L. Marian, и I. Weber. WWW '09: Proceedings of the 18th international conference on World wide web, стр. 1109--1110. New York, NY, USA, ACM, (2009)
E. Baykan, M. Henzinger, L. Marian, и I. Weber. Proceedings of the 18th International Conference on World Wide Web, стр. 1109--1110. New York, NY, USA, ACM, (2009)
D. Beyer, T. Henzinger, R. Majumdar, и A. Rybalchenko. Proceedings of 8th Verification, Model Checking, and Abstract Interpretation International Conference (VMCAI 2007), том 4349/2007 из Lecture Notes in Computer Science, Nice, France, Springer, (января 2007)
D. Beyer, T. Henzinger, и G. Théoduloz. Software Verification: Infinite-State Model Checking and Static Program Analysis, том 06081 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)