Abstraction Layers for the Synthesis and Analysis of Production Systems.

Nicolas Martinez, Giacomo Barbieri

Browse the full ETFA paper archive.