Login / Signup
Preface.
Jean-Charles Grégoire
Gerard J. Holzmann
Doron A. Peled
Published in:
The Spin Verification System (1996)
Keyphrases
</>
international workshop
workshop on data mining
data analysis
information retrieval and extraction