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 |

originated at the
University of Bamberg
University of Bamberg