Analysis of Boundary States of Multi-state System by Direct Partial Logic Derivatives.
Elena Zaitseva, Vitaly G. Levashenko, Jozef Kostolny, Miroslav Kvassay
VenueNationalICTERI
Year2015
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/ZaitsevaLKK15a ↗
Browse the full ICTERI paper archive.