• search hit 1 of 1
Back to Result List

ASM Specification of Internet Information Services

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.