Login / Signup
New developments around the mCRL tool set.
Stefan Blom
Jan Friso Groote
Izak van Langevelde
Bert Lisser
Jaco van de Pol
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
data sets
neural network
image segmentation
small number
wide range
support vector
np complete