Introduction To The 1999 Hicss Minitrack On Logic Modeling | IEEE Conference Publication | IEEE Xplore