Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652853> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q62652853 description "article scientifique publié en 2004" @default.
- Q62652853 description "wetenschappelijk artikel" @default.
- Q62652853 description "наукова стаття, опублікована у 2004" @default.
- Q62652853 name "Software Model Checking Using Linear Constraints" @default.
- Q62652853 name "Software Model Checking Using Linear Constraints" @default.
- Q62652853 type Item @default.
- Q62652853 label "Software Model Checking Using Linear Constraints" @default.
- Q62652853 label "Software Model Checking Using Linear Constraints" @default.
- Q62652853 prefLabel "Software Model Checking Using Linear Constraints" @default.
- Q62652853 prefLabel "Software Model Checking Using Linear Constraints" @default.
- Q62652853 P1433 Q62652853-91AC38C7-970A-43AB-BC9B-31960DA05EB2 @default.
- Q62652853 P1476 Q62652853-E48866DB-96E1-41F4-9037-AC6465BDB162 @default.
- Q62652853 P2093 Q62652853-4932EB60-3C2B-4A32-9ABE-579B8E76E208 @default.
- Q62652853 P2093 Q62652853-6F3CB0B4-B8AB-431C-8B8D-11B5DFAD074C @default.
- Q62652853 P2093 Q62652853-E17C0E65-83E7-4862-A1B1-57DA6C2E627E @default.
- Q62652853 P304 Q62652853-FD38FCDB-0182-4DE0-842B-2553B63C333A @default.
- Q62652853 P31 Q62652853-88236A93-E1CD-4A9B-8956-303B6AC0A255 @default.
- Q62652853 P356 Q62652853-8B3974AB-1E20-476D-AF6D-E7CE2395FC34 @default.
- Q62652853 P407 Q62652853-3E90B261-D95C-4D37-8BBE-CAD85CFB352F @default.
- Q62652853 P577 Q62652853-303A5582-0B2D-40A7-A56D-B9DC4B854A99 @default.
- Q62652853 P8978 Q62652853-A9E0CE5B-4A0D-40E5-93F9-2C6EAD8BC648 @default.
- Q62652853 P356 978-3-540-30482-1_22 @default.
- Q62652853 P8978 ArmandoCM04 @default.
- Q62652853 P1433 Q924044 @default.
- Q62652853 P1476 "Software Model Checking Using Linear Constraints" @default.
- Q62652853 P2093 "Alessandro Armando" @default.
- Q62652853 P2093 "Claudio Castellini" @default.
- Q62652853 P2093 "Jacopo Mantovani" @default.
- Q62652853 P304 "209-223" @default.
- Q62652853 P31 Q13442814 @default.
- Q62652853 P356 "10.1007/978-3-540-30482-1_22" @default.
- Q62652853 P407 Q1860 @default.
- Q62652853 P577 "2004-01-01T00:00:00Z" @default.
- Q62652853 P8978 "conf/icfem/ArmandoCM04" @default.