Matches in Wikidata for { <http://www.wikidata.org/entity/Q57658790> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q57658790 description "article scientifique publié en 2011" @default.
- Q57658790 description "wetenschappelijk artikel" @default.
- Q57658790 description "наукова стаття, опублікована у 2011" @default.
- Q57658790 name "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 name "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 type Item @default.
- Q57658790 label "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 label "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 prefLabel "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 prefLabel "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 P1433 Q57658790-9B014911-21F5-4C8C-9156-84DCC08807AD @default.
- Q57658790 P1476 Q57658790-68CF1FB3-99CA-40C6-8EDA-5C661A5931CA @default.
- Q57658790 P2093 Q57658790-479E2973-0DCC-4E6B-BD50-6F5711F0B70D @default.
- Q57658790 P2093 Q57658790-6CF454A1-836F-43C1-B5EA-98801D5255E2 @default.
- Q57658790 P2860 Q57658790-440B3B6A-B99A-4BC8-9207-7E973FD9A939 @default.
- Q57658790 P2860 Q57658790-CD7767F6-2525-4C42-BDCD-55A85FF0F1D9 @default.
- Q57658790 P304 Q57658790-BA4BD722-7411-4728-B5FB-933151617179 @default.
- Q57658790 P31 Q57658790-9743B424-007B-47F0-8203-1B7254B0E546 @default.
- Q57658790 P356 Q57658790-383C44B4-59B9-469A-BD43-EA56FF657261 @default.
- Q57658790 P407 Q57658790-2872751A-1D2A-4746-83A7-F274D6D86647 @default.
- Q57658790 P50 Q57658790-092EF134-928E-4FEF-B895-7A1C8D16AAE1 @default.
- Q57658790 P50 Q57658790-996F755C-CECC-4C3C-8EDB-097E865AA9D3 @default.
- Q57658790 P577 Q57658790-823EE7AB-82B6-4D4E-B533-67D416CF2E0E @default.
- Q57658790 P8978 Q57658790-0EDB4FF2-FB47-4C94-83B0-CB316EDEA12B @default.
- Q57658790 P356 978-3-642-24690-6_21 @default.
- Q57658790 P8978 MorseCNF11 @default.
- Q57658790 P1433 Q924044 @default.
- Q57658790 P1476 "Context-Bounded Model Checking of LTL Properties for ANSI-C Software" @default.
- Q57658790 P2093 "Denis Nicole" @default.
- Q57658790 P2093 "Jeremy Morse" @default.
- Q57658790 P2860 Q56454323 @default.
- Q57658790 P2860 Q57658818 @default.
- Q57658790 P304 "302-317" @default.
- Q57658790 P31 Q13442814 @default.
- Q57658790 P356 "10.1007/978-3-642-24690-6_21" @default.
- Q57658790 P407 Q1860 @default.
- Q57658790 P50 Q57416941 @default.
- Q57658790 P50 Q58895555 @default.
- Q57658790 P577 "2011-01-01T00:00:00Z" @default.
- Q57658790 P8978 "conf/sefm/MorseCNF11" @default.