Multi-valued reasoning about reactive systems /
Saved in:
Main Authors: | |
---|---|
Published: |
Now Publishers,
|
Publisher Address: | Boston : |
Publication Dates: | [2022] |
Literature type: | Book |
Language: | English |
Series: |
Foundations and trends in theoretical computer science ;
volume 15, issue 2, 2022 |
Subjects: | |
Carrier Form: | 107 pages : illustrations ; 24 cm. |
Bibliography: | Includes bibliographical references (pages 99-107). |
ISBN: |
9781638281382 1638281386 |
CLC: |
B815.2 TP311.1 |
Call Number: | TP311.1/K967 |