通过删减实现组合:任意GSOS的Hennessy-Milner逻辑| IEEE会议出版物| IEEE Xplore