| |
東芝レビュー, Vol. 64, No. 8. (August 2009), pp. 20-23.
|
| |
|
| |
情報処理学会論文誌:プログラミング, Vol. 44, No. SIG13(PRO18). (15 October 2003), pp. 25-37.
|
| |
|
| |
Logic and Logical Philosophy, Vol. 15, No. 3. (2006), pp. 251-276.
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
|
| |
In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362.
|
| |
Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
|
| |
Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
|
| |
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 203-213.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
|
| |
コンピュータソフトウェア, Vol. 23, No. 2. (2006), pp. 72-86.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 1-3.
|
| |
|
| |
Fundamental Approaches to Software Engineering (2005), pp. 2-18.
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
|
| |
Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005), Vol. 151, No. 2. (31 May 2006), pp. 89-105.
|
| |
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441.
|
| |
|
| |
Theoretical Computer Science, Vol. 345, No. 1. (21 November 2005), pp. 101-121.
|
| |
In Proceedings of the Workshop Concurrency, Specification \& Programming 1999 (September 1999), pp. 107-118.
|
| |
|
| |
|
| |
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48.
|
