Vol-1768⫷ Vol-1769 ⫸Vol-1770
urn:nbn:de:0074-1769-0


Vol-1769/paper06⫷Vol-1769/paper07⫸Vol-1769/paper08

Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification