TY - CONF A1 - Thalheim, Bernhard A1 - Moreno-Diaz, Roberto A1 - Quesada-Arencibia, Alexis T1 - ASM Specification of Internet Information Services T2 - Formal methods and tools for computer science, EUROCAST 2001, 8th International Conference on Computer Aided Systems Theory and Technology, Las Palmas de Gran Canaria, Spain, 13 - 19 February 2001 KW - ASM Y1 - 2003 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/1419 SN - 84-699-3971-8 SP - 301 EP - 304 PB - IUCTC CY - Las Palmas ER -