Introduction to the 1998 HICSS MiniTrack on Logic Modeling | IEEE Conference Publication | IEEE Xplore