Treffer: Runtime verification of partially-synchronous distributed system
Title:
Runtime verification of partially-synchronous distributed system
Authors:
Source:
Formal Methods in System Design: An International Journal. 64(1):146-177
Database:
Springer Nature Journals