Formal Specification and Verification for Concurrent Systems by TELL

Publication Information

Title

Japanese:
English:	Formal Specification and Verification for Concurrent Systems by TELL

Author

Japanese:	榎本肇, 米崎直樹, 佐伯元司, 荒俣博.
English:	榎本肇, NAOKI YONEZAKI, MOTOSHI SAEKI, 荒俣博.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

pp. 732-745

Published date

Sept. 1984

Publisher

Japanese:
English:

Conference name

Japanese:
English:	6-th Europian Conference on Artificial Intelligence

Conference site

Japanese:
English: