1. ACSD 1998: Fukushima, Japan

Tutorial Papers

Hierarchical Models

Hierarchical Verification

Systems with Timing

PN-Based Verification

High-Level Nets

Hardware Verification

Algebraic Models and Languages

Case Studies