4DBC7DF0-2F73-4249-964B-D6AD82A109F4A4A: Asynchronous design for analogue electronicsResearch GrantEP/L025507/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL5745246D808340-DAC1-4F4B-A4E7-90512B38CB93Advances in Formal Methods for the Design of Analog/Mixed-Signal Systemsda79e1d116d6e47281e4dc58674839a4Dubikhin V2017-01-01http://dx.doi.org/10.1145/3061639.3072945http://dx.doi.org/10.1145/3061639.3072945Conference/Paper/Proceeding/Abstract5a2fe309908ed2.98927121