Behavioural Equivalences over Reconfigurable Systems.

Bogdan Aman, Gabriel Ciobanu

Browse the full SEFM paper archive.