- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c2 |      | Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki: DC2: A framework for scalable, scope-bounded software verification. ASE 2011: 133-142 |
| 1998 | ||
| c1 | | Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki: A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets. APSEC 1998: 182- |
| 1 | Gogul Balakrishnan | |
| 2 | Aarti Gupta | |
| 3 | Takashi Imoto | |
| 4 | Franjo Ivancic | |
| 5 | Naoto Maeda | |
| 6 | Yoshiaki Miyazaki | |
| 7 | Motoshi Saeki | |
| 8 | Sriram Sankaranarayanan | |
| 9 | Harumi Watanabe | |
| 10 | Wenxin Wu |
Colors in the list of coauthors
Last update Thu May 23 18:19:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page