Matches in Wikidata for { <http://www.wikidata.org/entity/Q110511744> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- Q110511744 description "article scientifique publié en 2009" @default.
- Q110511744 name "Model checking C source code for embedded systems" @default.
- Q110511744 type Item @default.
- Q110511744 label "Model checking C source code for embedded systems" @default.
- Q110511744 prefLabel "Model checking C source code for embedded systems" @default.
- Q110511744 P1433 Q110511744-598E2029-9434-426D-82B3-4091BC5541B3 @default.
- Q110511744 P1476 Q110511744-B56AE77C-6A7D-438C-85E3-73377F24FB9E @default.
- Q110511744 P2093 Q110511744-081C1A2D-B6E8-495A-8216-E6A2AD7B88F0 @default.
- Q110511744 P2093 Q110511744-771B6972-E0A8-4C95-9BEA-3A2B5E94D9A9 @default.
- Q110511744 P304 Q110511744-6F57A3FB-3DF5-44D4-AC7E-3EF0A22B6DE9 @default.
- Q110511744 P31 Q110511744-8B5CB9A2-9039-4262-A478-0857143263E1 @default.
- Q110511744 P356 Q110511744-BB9C1732-6989-458F-B2A6-78A9952FF7B5 @default.
- Q110511744 P433 Q110511744-3A6EBD94-541F-486D-A9F4-C8DEBA4F89CB @default.
- Q110511744 P478 Q110511744-CFC14A3D-4490-47FE-9CED-3904E4E0413F @default.
- Q110511744 P577 Q110511744-41F35F41-47F8-4FE4-90DC-A281B074118E @default.
- Q110511744 P356 S10009-009-0106-5 @default.
- Q110511744 P1433 Q15762441 @default.
- Q110511744 P1476 "Model checking C source code for embedded systems" @default.
- Q110511744 P2093 "Bastian Schlich" @default.
- Q110511744 P2093 "Stefan Kowalewski" @default.
- Q110511744 P304 "187-202" @default.
- Q110511744 P31 Q13442814 @default.
- Q110511744 P356 "10.1007/S10009-009-0106-5" @default.
- Q110511744 P433 "3" @default.
- Q110511744 P478 "11" @default.
- Q110511744 P577 "2009-03-19T00:00:00Z" @default.