"Implication Theory and Algorithm for Reachability Matrix Model."

Azuma Ohuchi, Masahito Kurihara, Ikuo Kaji (1986)

Details and statistics

DOI: 10.1109/TSMC.1986.289267

access: closed

type: Journal Article

metadata version: 2020-05-20