Automation support for concurrent software engineering.

Salah Badr, Luqi

Browse the full SEKE paper archive.