11th International Symposium on Automated Technology for Verification and Analysis
October 15 - 18, 2013, Hanoi, Vietnam
LNCS 8172 is now available online. You can find information about it at http://www.springeronline.com/978-3-319-02443-1 or access the online version at http://www.springerlink.com/content/978-3-319-02443-1/
Please note, the basic philosophy is that the Springer Global Website is the main source of information about products, and therefore also the best place to search for something, while SpringerLink is a content system.
We would appreciate it if you could create a link to LNCS 8172 on your (conference) Web site.
I would like to take this opportunity to draw your attention to the LNCS homepage:
From here you can access the Forthcoming Proceedings list, the Conference Acronym Index, the Instructions for Authors, and various other useful pieces of information.
As an LNCS Volume Editor, you are entitled to access electronic content at SpringerLink for LNCS for the rest of this year. To access this secured content, you need to have an individual account registered.
The attached pdf document will give you full details as to how to register. To complete registration, you will need to enter an association code.
Your personal association code is: KaRCCOTIiQUyPLIM_u40W7hZj08
Register Guide (.PDF)