Schlagwort(e):
Forschungsbericht
Materialart:
Online-Ressource
Seiten:
Online-Ressource (29 Seiten; 1,13 MB)
,
Illustrationen
Serie:
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
Sprache:
Englisch
Anmerkung:
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