Matches in Wikidata for { <http://www.wikidata.org/entity/Q99624489> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- Q99624489 description "article published in 2012" @default.
- Q99624489 description "article scientifique publié en 2012" @default.
- Q99624489 description "artículu científicu espublizáu n'agostu de 2012" @default.
- Q99624489 description "wetenschappelijk artikel" @default.
- Q99624489 description "наукова стаття, опублікована в серпні 2012" @default.
- Q99624489 name "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 name "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 name "一种提高时序安全属性静态检测实用性的方法" @default.
- Q99624489 type Item @default.
- Q99624489 label "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 label "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 label "一种提高时序安全属性静态检测实用性的方法" @default.
- Q99624489 prefLabel "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 prefLabel "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 prefLabel "一种提高时序安全属性静态检测实用性的方法" @default.
- Q99624489 P1433 Q99624489-E5616421-C70B-4F40-95D0-F662A14FE8E5 @default.
- Q99624489 P1476 Q99624489-4F7E27C0-81D2-4AD6-AAE2-3161B0777141 @default.
- Q99624489 P1476 Q99624489-63233559-C263-4890-8E58-B3E28C0358FA @default.
- Q99624489 P2093 Q99624489-38172458-2492-457C-949B-F8B3382D6149 @default.
- Q99624489 P2093 Q99624489-4BC20D67-E72D-489E-A942-E77F6063838A @default.
- Q99624489 P2093 Q99624489-695DCEC7-5090-462D-AE26-D82900453576 @default.
- Q99624489 P2093 Q99624489-83CCC93B-8DFC-4F58-8B3B-3055483E37D3 @default.
- Q99624489 P2093 Q99624489-8ABF230B-C78B-4C87-9DFF-33A357F2A38F @default.
- Q99624489 P2093 Q99624489-8D394C7D-8191-4261-B55B-4838D6156B50 @default.
- Q99624489 P2093 Q99624489-9880FF05-2F31-4224-83A0-360AB691A1C8 @default.
- Q99624489 P2093 Q99624489-A22CC22C-580B-4C1F-96B8-69A8E4222EAC @default.
- Q99624489 P2093 Q99624489-AC182C90-7CDD-48ED-B3B2-20157827A85D @default.
- Q99624489 P2093 Q99624489-CD1026CC-4E83-43EE-8702-D4EE1DBDBCFC @default.
- Q99624489 P2093 Q99624489-F099A2A6-8822-4469-A953-16D0530CFE81 @default.
- Q99624489 P2093 Q99624489-FE4602C1-9288-4431-837E-097024318365 @default.
- Q99624489 P304 Q99624489-B84BD6DC-F9B4-455F-A8F7-BC14A015228F @default.
- Q99624489 P31 Q99624489-4321327B-F12C-44FB-A6A2-5AA6194B6A87 @default.
- Q99624489 P356 Q99624489-C4BEE650-2339-4FFA-A61D-795808AF457F @default.
- Q99624489 P407 Q99624489-BBA00A4E-556B-4862-B3F0-6F28F5B0CE3E @default.
- Q99624489 P433 Q99624489-125BDEF0-CAA5-46C1-BA01-6A1651399FBD @default.
- Q99624489 P433 Q99624489-749174FD-64CF-4AC9-B118-069EA8C45BFD @default.
- Q99624489 P478 Q99624489-979ACF8C-8627-403E-992E-F36A93E42DEF @default.
- Q99624489 P577 Q99624489-5315F968-0207-4FA3-82F0-EA2346A84228 @default.
- Q99624489 P577 Q99624489-63780580-B958-4106-A588-79F1E80AAC4D @default.
- Q99624489 P6769 Q99624489-29B3C0C8-8A84-425C-A4DE-D80D95151A74 @default.
- Q99624489 P356 SP.J.1016.2012.00244 @default.
- Q99624489 P1433 Q15762314 @default.
- Q99624489 P1476 "A Precise and Scalable Static Checking Approach for Temporal Safety Property" @default.
- Q99624489 P1476 "一种提高时序安全属性静态检测实用性的方法" @default.
- Q99624489 P2093 "Chun-Lei SANG" @default.
- Q99624489 P2093 "Feng LI" @default.
- Q99624489 P2093 "Wei HUO" @default.
- Q99624489 P2093 "Xiao-Bing FENG" @default.
- Q99624489 P2093 "Zhao-Qing ZHANG" @default.
- Q99624489 P2093 "Zhao-Wei DING" @default.
- Q99624489 P2093 "丁兆伟" @default.
- Q99624489 P2093 "冯晓兵" @default.
- Q99624489 P2093 "张兆庆" @default.
- Q99624489 P2093 "李丰" @default.
- Q99624489 P2093 "桑春雷" @default.
- Q99624489 P2093 "霍玮" @default.
- Q99624489 P304 "244-256" @default.
- Q99624489 P31 Q13442814 @default.
- Q99624489 P356 "10.3724/SP.J.1016.2012.00244" @default.
- Q99624489 P407 Q7850 @default.
- Q99624489 P433 "02" @default.
- Q99624489 P433 "2" @default.
- Q99624489 P478 "35" @default.
- Q99624489 P577 "2012-01-01T00:00:00Z" @default.
- Q99624489 P577 "2012-08-14T00:00:00Z" @default.
- Q99624489 P6769 "JSJX201202007" @default.