Generating diagnostic information for behavioral preorders (1992)
by
Ufuk Celikkan
,
Rance Cleaveland
| Venue: | DISTRIBUTED COMPUTING |
| Citations: | 9 - 2 self |







