FSM-based properties and abstraction of components.

Syed Hussein Syed Alwi, Emmanuelle Encrenaz

Browse the full RSP paper archive.