Modal Interface Automata
Professorship/Faculty: | Software Technologies | Authors: | Lüttgen, Gerald ![]() |
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 | 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 | Release Date: | 29. November 2012 |