A Generalised Theory of Interface Automata, Component Compatibility and Error
Fendrich, Sascha; Lüttgen, Gerald (2016): A Generalised Theory of Interface Automata, Component Compatibility and Error, in: Erika Ábrahám und Marieke Huisman (Hrsg.), Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings, Cham: Springer, S. 160–175, doi: 10.1007/978-3-319-33693-0_11.
Faculty/Chair:
Author:
 ; 
Editor:
 ; 
Title of the compilation:
Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings
Corporate Body:
IFM <2016, Reykjavik>
Publisher Information:
Year of publication:
2016
Pages:
ISBN:
978-3-319-33692-3
Series ; Volume:
Lecture Notes in Computer Science ; 9681
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
November 24, 2016

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/41243