Multi-Valued Reasoning about Reactive Systems
Publisher: Now Publishers
Published: 2022
Language: eng
ISBN-13: 9781638281382