Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.

Hillel Kugler, Itai Segall

Browse the full TACAS paper archive.