Old Web
English
Sign In
Acemap
>
Paper
>
Relational Verification via Invariant-Guided Synchronization
Relational Verification via Invariant-Guided Synchronization
2019
Qi Zhou
David Heath
William R. Harris
Keywords:
Synchronization
Topology
Invariant (mathematics)
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
18
References
0
Citations
NaN
KQI
[]