Login / Signup

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.

Takashi TomitaShigeki HagiharaMasaya ShimakawaNaoki Yonezaki
Published in: IEICE Trans. Inf. Syst. (2022)
Keyphrases