Multi-valued simulation of digital circuitsUbar, Raimund-JohannesProceedings : 1997 21st International Conference on Microelectronics :  Niš, Yugoslavia, 14-17 September 1997. Vol. 21997 / p. 721-724 : ill