Modal Interface Automata





Professorship/Faculty: Lehrstuhl für Praktische Informatik, insbesondere Softwaretechnik und Programmiersprachen 
Author(s): Lüttgen, Gerald  ; Vogler, Walter
Title of the Journal: Logical Methods in Computer Science : LMCS
ISSN: 1860-5974
Corporate Body: Department of Theoretical Computer Science, Technical University of Braunschweig
Publisher Information: Braunschweig
Year of publication: 2013
Volume: 9
Issue: 3
Pages / Size: 1 - 28
Language(s): English
DOI: 10.2168/LMCS-9(3:4)2013
Document Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/2535
Release date: 25. November 2013