Multi-valued reasoning about reactive systems /

Main Authors: Kupferman, Orna (Author)
Published: Now Publishers,
Publication Dates: [2022]
Call Number: TP311.1/K967