Formal methods for reconfigurable assembly systems.

Tiago Oliveira Ribeiro, Gil Gonalves

Browse the full ETFA paper archive.