Volume 172; Issue 2

Information and Computation

Volume 172; Issue 2
2

The Nonapproximability of OBDD Minimization

Year:
2002
Language:
english
File:
PDF, 275 KB
english, 2002
3

Trace and Testing Equivalence on Asynchronous Processes

Year:
2002
Language:
english
File:
PDF, 205 KB
english, 2002
5

Papers to Appear in Forthcoming Issues

Year:
2002
File:
PDF, 7 KB
2002
6

Author Index for Volume 172

Year:
2002
File:
PDF, 7 KB
2002