Contents of Report

[Data of Report]

Report Number:

TR0068

Date of Registration:

1984.06

English Title:

Formal Specification and Verification for Concurrent Systems by Tell

Japanese Title:

***

English Author:

H.Enomoto,N.Yonezaki,M.Saeki,H.Aramata

Japanese:

***

Name of Organization to which author belongs:

Tokyo Institute of Technology,Tokyo Institute of Technology,Tokyo Institute of Technology,Tokyo Institute of Technology

PDF:

tr0068.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports