Dynamic Sync-Programs for Modular Verification of Biological Systems.
['Peter Drábik', 'Andrea Maggiolo-Schettini', 'Paolo Milazzo']
Dynamic Sync-Programs for Modular Verification of Biological Systems.