Gethin-Norman等人：部分可观测概率实时系统的验证和控制。(2015) conf/formats/Norman0Z15格式 10.1007/978-3-319-22975-1_16 部分可观测概率实时系统的验证与控制。 三 格钦·诺曼 1 大卫·帕克0001 2 邹学毅 三 240-255 格式 格式 2015 2015 dblp记录“conf/formats/Norman0Z15”的RDF数据的来源信息 2022-04-09时间12:48:56+0200