A linear-time branching-time perspective on interface automata





Faculty/Professorship: Software Technologies  
Author(s): Vogler, Walter; Lüttgen, Gerald  
Title of the Journal: Acta Informatica
ISSN: 1432-0525
Publisher Information: Springer
Year of publication: 2020
Volume: 57
Issue: 3
Pages: 513-550
Language(s): English
DOI: 10.1007/s00236-020-00369-4
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/50150
Release Date: 6. July 2021