Approximate bounded synthesis for distributed systems

From MaRDI portal
Publication:4913784

zbMATH Open1324.68001MaRDI QIDQ4913784FDOQ4913784


Authors: O. A. Kapustyan, A. V. Sukretna, O. V. Kapustyan Edit this on Wikidata


Publication date: 9 April 2013





Recommendations





Cited In (13)





This page was built for publication: Approximate bounded synthesis for distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913784)