ACTL for modal interface automata

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Ferenc Bujtor, Walter VoglerGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/51155
ISBN:9781509025893OPAC
Parent Title (English):16th International Conference on Application of Concurrency to System Design (ACSD), 19-24 June 2016, Torun, Poland
Publisher:IEEE
Place of publication:Piscataway, NJ
Editor:Jörg Desel, Alex Yakovlev
Type:Part of a Book
Language:English
Year of first Publication:2016
Release Date:2019/04/02
Pagenumber:10
DOI:https://doi.org/10.1109/acsd.2016.11
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme