Composing Constraint Automata, State-by-State
Jongmans, Sung-Shik T. Q. ; Kappé, Tobias ; Arbab, Farhad Braga, Christiano ; Ölveczky, Peter Csaba
Formal Aspects of Component Software, 2016, Vol.9539, p.217-236 [Periódico revisado por pares]Switzerland: Springer International Publishing AG
Texto completo disponível