Kenichi Kishino

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Koji Iwanuma, Kenichi Kishino
Lemma Generalization and Non-unit Lemma Matching for Model Elimination. ASIAN (1999)