Adaptor Synthesis for Real-Time Components.

Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler

Browse the full TACAS paper archive.