Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications.

Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli

Browse the full LATA paper archive.