1. Home

Tool support for formal system verification

Müller, Marcus GND; Pacholik, Alexander GND; Fengler, Wolfgang GND

Preview

Category

Conference:
Internationales Wissenschaftliches Kolloquium. Technische Universität Ilmenau, Faculty of Computer Science and Automation ; 52 (Ilmenau) : 2007.09.10-13
Publisher:
ilmedia GND
Published in:
Computer science meets automation
Vol. 52, 2007, Vol. 2 (10.09.2007), p. 137-142
Original:

Volume:
52, 2007, Vol. 2
Date Created:
10.09.2007
Date Issued:
10.09.2007
PPN:
54592992X
Language:
English
Type of Resource:
Text
Extent:
20 Seiten
Place Term:
Ilmenau
Classification:
Klasse A
Classification:
für Harvesting bereitgestellt
Classification:
52. IWK (2007)
DDC subject of DNB:
004 Data processing Computer sciences
Hosting institution:
Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung

Cite

Citation style:
Müller Dipl. Inf., M., Pacholik Dr.-Ing., A., habil., F.Univ.-Prof.Dr.-Ing., 2007. Tool support for formal system verification. Computer science meets automation: 52. IWK, Internationales Wissenschaftliches Kolloquium ; proceedings ; 10 - 13 September 2007; Volume II, Computer science meets automation: 52. IWK, Internationales Wissenschaftliches Kolloquium ; proceedings ; 10 - 13 September 2007; Volume II 52, 2007, Vol. 2, 137–142.
Could not load citation form. Default citation form is displayed.

Rights

Use and reproduction:
All rights reserved

Export

BibTeX, MODS, MARCXML, RIS, ISI, PICA, CSV, DC