A linear-time branching-time perspective on interface automata

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Walter VoglerGND, Gerald Lüttgen
URN:urn:nbn:de:bvb:384-opus4-767683
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/76768
ISSN:0001-5903OPAC
ISSN:1432-0525OPAC
Parent Title (English):Acta Informatica
Publisher:Springer
Place of publication:Berlin
Type:Article
Language:English
Year of first Publication:2020
Publishing Institution:Universität Augsburg
Release Date:2020/06/25
Tag:Computer Networks and Communications; Software; Information Systems
Volume:57
Issue:3-5
First Page:513
Last Page:550
Note:
Correction published at: https://link.springer.com/article/10.1007/s00236-021-00406-w
DOI:https://doi.org/10.1007/s00236-020-00369-4
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
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY 4.0: Creative Commons: Namensnennung (mit Print on Demand)

OPUS4 Logo