Login / Signup

A Fast Implementation of the CT_EXT Algorithm for the Testor Property Identification.

Guillermo Sánchez-DíazIván Piza-DávilaManuel Lazo-CortésMiguel Mora-GonzálezJavier Salinas-Luna
Published in: MICAI (2) (2010)
Keyphrases