Conference paper
Automatic taxonomy generation: Issues and possibilities
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine