“针对……验证非确定性概率信道系统”

克里斯特尔·拜尔(Christel Baier)、娜塔莉·贝特朗(Nathalie Bertrand)、菲利普·施诺贝伦(Philippe Schnoebelen)(2005)

详细信息和统计信息

DOI(操作界面):

访问:打开

类型:非正式或其他出版物

元数据版本:2018-08-13

打开Alex

请注意:由于提供了开放的元数据API,因此只能提供有关引用和引用的信息crossref.org网站开放引用.net.如果您的出版物的引用数据尚未公开,请考虑要求您的出版商向公众发布您的引用数据。有关更多信息,请参阅开放引文倡议(I4OC)也请注意,无法直接向dblp提交缺失的参考文献或引用数据。

请注意,此功能是正在进行的工作而且它还远远不够完美。尤其是,

需要JavaScript才能检索和显示此记录的任何引用和引用。

服务莱布尼茨信息中心(Schloss Dagstuhl)