An efficient tableau-based verification method with partial evaluation for reactive system specifications.

論文・著書情報

タイトル

和文:
英文:	An efficient tableau-based verification method with partial evaluation for reactive system specifications.

著者

和文:	Takenobu Aoshima, 米崎直樹.
英文:	Takenobu Aoshima, Naoki Yonezaki.

言語

English

掲載誌/書名

和文:
英文:	Proceedings of The 10th European-Japanese Conference on Information Modelling and Knowledge Bases

巻, 号, ページ

pp. 337-348

出版年月

2000年5月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文: