Article thumbnail

Decidability of well-connectedness for distributed synthesis

By 
Publisher: 'Elsevier BV'
DOI identifier: 10.1016/j.ipl.2012.08.018
OAI identifier:
Provided by: MUCC (Crossref)

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.