Options
Modal Interface Automata
Lüttgen, Gerald; Vogler, Walter (2013): Modal Interface Automata, in: Logical Methods in Computer Science : LMCS, Braunschweig, Jg. 9, Nr. 3, S. 1–28, doi: 10.2168/LMCS-9(3:4)2013.
Faculty/Chair:
Author:
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:
Year of publication:
2013
Volume:
9
Issue:
3
Pages:
Language:
English
Type:
Article
Activation date:
January 17, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/2535