Multi-scale verification of distributed synchronisation

From MaRDI portal
Publication:2225471

DOI10.1007/s10703-020-00347-zzbMath1506.68009arXiv1809.10655OpenAlexW3042716503MaRDI QIDQ2225471

Yanyan Li

Publication date: 8 February 2021

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.10655





Uses Software


Cites Work