Contents of Report

[Data of Report]

Report Number:

TM0481

Date of Registration:

1988.01

English Title:

学会発表論文（基礎理論）第一研究室Cocurrent Program Synthesis from a specification in Conditional Interval Temporal Logic

Japanese Title:

***

English Author:

K.Matsumoto,N.Uchiyama,S.Honiden

Japanese:

***

Name of Organization to which author belongs:

Toshiba,Toshiba,Toshiba

PDF:

tm0481.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda