Modal Interface Automata





Professorship/Faculty: Software Technologies  
Authors: Lüttgen, Gerald  ; Vogler, Walter
Editors: Baeten, Josephus C. M.
Title of the compilation: Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings
ISSN: 0302-9743
Publisher Information: Berlin [u.a.] : Springer
Year of publication: 2012
Pages / Size: S. 265 - 279 : Ill.
ISBN: 978-3-642-33474-0
3-642-33474-1
Series ; Volume: Lecture Notes in Computer Science ; 7604
Language(s): English
URL: http://link.springer.com/content/pdf/10.1007%2F...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/840
Release Date: 29. November 2012