Efficient model checking of applications with input/output

論文・著書情報

タイトル

和文:
英文:	Efficient model checking of applications with input/output

著者

和文:	Cyrille Artho, Boris Zweimller, Armin Biere, 柴山悦哉, Shinichi Honiden.
英文:	Cyrille Artho, Boris Zweimller, Armin Biere, Etsuya Shibayama, Shinichi Honiden.

言語

English

掲載誌/書名

和文:
英文:	Lecture Notes in Computer Science

巻, 号, ページ

Vol. 4739 pp. 515-522

出版年月

2007年11月

出版者

和文:
英文:

会議名称

和文:
英文:	11th International Conference on Computer Aided Systems Theory

開催地

和文:
英文: