Modal Interface Automata






Professorship/Faculty: Software Technologies  
Author(s): 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: 265-279
Illustrations: Illustrationen
ISBN: 978-3-642-33474-0
3-642-33474-1
Series ; Volume: Lecture Notes in Computer Science ; 7604
Language(s): English
DOI: 10.1007/978-3-642-33475-7_19
URL: http://link.springer.com/content/pdf/10.1007%2F...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/840
metadata.ubg.intern.opusdatepublished: 14. February 2013