Extent: | Online-Ressource |
---|---|
Type of publication: | Book / Working Paper |
Type of publication (narrower categories): | Hochschulschrift ; Thesis |
Language: | German |
Thesis: | Stuttgart, Univ., Masterarbeit, , 2012 |
Notes: | Systemvoraussetzungen: Acrobat Reader Parallelsacht.: LTL satisfiability checking for refinement layers Übers. des Hauptsacht.: LTL satisfiability checking for refinement layers |
Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10009683581