ArticleIssue Date2005CitationJapanese Journal of Applied Physics, Part 1: Regular Papers and Short Notes and Review Papers, v.44, no.5 B, pp.3499 - 3502PublisherInstitute of Pure and Applied Physics
ConferenceIssue Date2005Citation8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, v.3442, pp.141 - 144PublisherSPRINGER-VERLAG BERLINPlaceGE; Edinburgh