Namjoshi, Kedar S.
[Herausgeber:in];
Yoneda, Tomohiro
[Sonstige Person, Familie und Körperschaft];
Higashino, Teruo
[Sonstige Person, Familie und Körperschaft];
Okamura, Yoshio
[Sonstige Person, Familie und Körperschaft]
;
ATVA 5 2007 Tokio
Cha, Sungdeok
[Herausgeber:in];
Choi, Jin-Young
[Sonstige Person, Familie und Körperschaft];
Kim, Moonzoo
[Sonstige Person, Familie und Körperschaft];
Lee, Insup
[Sonstige Person, Familie und Körperschaft];
Viswanathan, Mahesh
[Sonstige Person, Familie und Körperschaft]
;
ATVA 6 2008 Seoul
Raskin, Jean-François
[Herausgeber:in];
Raskin, Jean François
[Sonstige Person, Familie und Körperschaft];
Thiagarajan, P. S.
[Sonstige Person, Familie und Körperschaft]
;
FORMATS 5 2007 Salzburg
Bernardo, Marco
[Herausgeber:in];
Corradini, Flavio
[Sonstige Person, Familie und Körperschaft]
;
International School on Formal Methods for the Design of Computer, Communication and Software Systems 4 2004 Bertinoro