@inproceedings{ThalheimMorenoDiazQuesadaArencibia, author = {Thalheim, Bernhard and Moreno-Diaz, Roberto and Quesada-Arencibia, Alexis}, title = {ASM Specification of Internet Information Services}, series = {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}, booktitle = {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}, publisher = {IUCTC}, address = {Las Palmas}, isbn = {84-699-3971-8}, pages = {301 -- 304}, language = {en} }