根据$\omega$常规线性时间属性验证非确定性概率信道系统
摘要
出版物: -
arXiv电子打印 发布日期: 2005年11月 内政部: -
10.48550/arXiv.cs/0511023 arXiv: -
arXiv:cs/0511023 书目代码: -
2005cs。。。。。。。 11023亿 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 39页