Checking Equiralence for Mobile Prosses with Testing

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)39-48
Number of pages10
JournalThechnical Report of IEICE
Volume96
Issue number15
Publication statusPublished - 1996

Cite this