- search hit 1 of 1
ASM Specification of Internet Information Services
Author: | Bernhard Thalheim, Roberto Moreno-Diaz, Alexis Quesada-Arencibia |
---|---|
ISBN: | 84-699-3971-8 |
Title of the source (English): | 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 |
Place of publication: | Las Palmas |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2001 |
Tag: | ASM |
First Page: | 301 |
Last Page: | 304 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenbank- und Informationssysteme |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Datenbanken und Informationssysteme |