@inproceedings{ThalheimMorenoDiazQuesadaArencibia2003, author = {Bernhard Thalheim and Roberto Moreno-Diaz and Alexis Quesada-Arencibia}, title = {ASM Specification of Internet Information Services}, 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}, pages = {301 -- 304}, year = {2003}, }