SVO Logic Based Formalisms of GSI Protocols.

Hui Liu, Minglu Li

Browse the full PDCAT paper archive.