Multi-Valued Reasoning about Reactive Systems
From MaRDI portal
Publication:5060674
DOI10.1561/0400000083MaRDI QIDQ5060674
Publication date: 11 January 2023
Published in: Foundations and Trends® in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1561/0400000083
68-XX: Computer science
Uses Software