Takao Saito

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

DDL veri er and temporal logic

Takao Uehara and others (1983) · CHDL 83: 6th International Symposium on Computer Hardware Description Languages and their Applications