Modal Interface Automata

Lüttgen, Gerald; Vogler, Walter

Modal Interface Automata

Lüttgen, Gerald; Vogler, Walter
In: Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings.
Berlin [u.a.] : Springer, 2012.

Details

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