scientific article
From MaRDI portal
Publication:2963915
DOI10.4230/LIPIcs.FSTTCS.2013.213zbMath1359.68154MaRDI QIDQ2963915
Alin Stefanescu, Blaise Genest, Ionuţ Dincă, S. Akshay
Publication date: 21 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Realizability of concurrent recursive programs, Automated Synthesis of Distributed Controllers, On deciding synchronizability for asynchronously communicating systems, On Distributed Monitoring and Synthesis
