TY  - CONF

T1  - Specification and analysis of automata-based designs

JO  - INTEGRATED FORMAL METHODS, PROCEEDINGS

PY  - 2000/01/01

AU  - Bryans J

AU  - Blair L

AU  - Bowman H

AU  - Derrick J

ED  - Grieskamp W

ED  - Santen T

ED  - Stoddart B

VL  - 1945

SP  - 176

EP  - 193

Y2  - 2025/01/13

ER  -