Leadership election: An Industrial SoS application of compositional deadlock verification

Pedro R.G. Antonino, Marcel Medeiros Oliveira, Augusto C.A. Sampaio, Klaus E. Kristensen, J.W. Bryans

    Research output: Chapter in Book/Report/Conference proceedingChapter

    10 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Leadership election: An Industrial SoS application of compositional deadlock verification'. Together they form a unique fingerprint.

    Engineering & Materials Science