Keywords:
Forschungsbericht
Type of Medium:
Online Resource
Pages:
Online-Ressource (29 Seiten; 1,13 MB)
,
Illustrationen
Series Statement:
Technische Berichte des Instituts für Informatik Bericht Nr. 1806 (July 2018)
URL:
https://www.uni-kiel.de/journals/receive/jportal_jparticle_00000344
URL:
https://nbn-resolving.de/urn:nbn:de:gbv:8:1-zs-00000344-a3
URL:
https://edocs.tib.eu/files/e01fn19/1028331673.pdf
URN:
urn:nbn:de:gbv:8:1-zs-00000344-a3
Language:
English
Note:
Literaturverzeichnis Seite 23-25
,
An abridged version of this work will be published ath the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cyprus, Oct 2018
Permalink