226 followers
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino,… http://t.co/30EQAOlsWK
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino,… http://t.co/30EQAOlsWK