多值函数、关系和非确定性状态机的新紧凑表示| IEEE会议出版物| IEEE Xplore