Matches in Wikidata for { <http://www.wikidata.org/entity/Q56501959> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- Q56501959 description "article scientifique publié en 2004" @default.
- Q56501959 description "article" @default.
- Q56501959 description "im August 2004 veröffentlichter wissenschaftlicher Artikel" @default.
- Q56501959 description "wetenschappelijk artikel" @default.
- Q56501959 description "наукова стаття, опублікована в серпні 2004" @default.
- Q56501959 description "ലേഖനം" @default.
- Q56501959 name "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 name "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 type Item @default.
- Q56501959 label "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 label "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 prefLabel "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 prefLabel "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 P1433 Q56501959-AE52E21F-DE05-4C0B-97B6-470E5576D74A @default.
- Q56501959 P1476 Q56501959-C7AD2EB0-1186-44C8-A142-EA49A0B28E0B @default.
- Q56501959 P2093 Q56501959-1534E8F3-6720-4F6E-B90A-8E2B22ED9462 @default.
- Q56501959 P2093 Q56501959-1E55FCF6-D3C2-4FD2-AD82-C5BAF4F6B207 @default.
- Q56501959 P2093 Q56501959-D6DFDC54-69B4-4702-993D-84B88CCCAB56 @default.
- Q56501959 P2860 Q56501959-5C45F52E-1394-4872-94D8-E7A72A3B617E @default.
- Q56501959 P2860 Q56501959-84267617-BF2E-4D7D-ACC6-DAF3E8357EA7 @default.
- Q56501959 P2860 Q56501959-CD7F83B3-7E9D-4A87-B9AD-D8ED5AABF2FB @default.
- Q56501959 P2860 Q56501959-E7D556C5-0E2A-4152-B1B9-72A2B904D734 @default.
- Q56501959 P2860 Q56501959-FCFE89EB-7C37-42D9-95BF-1DB5F5165680 @default.
- Q56501959 P2888 Q56501959-CEE972BE-16F1-4982-A295-9219B0530020 @default.
- Q56501959 P304 Q56501959-75CADCBB-0D4D-4E5A-8273-DCD7F7BF1FB7 @default.
- Q56501959 P31 Q56501959-596C06E8-A710-4705-A5F3-7C56170D35F4 @default.
- Q56501959 P356 Q56501959-A3029FAD-D2D2-4182-996F-F30DC279F7C7 @default.
- Q56501959 P433 Q56501959-9E1F0F82-5C0E-4C9C-BCA7-0CDD382EA54B @default.
- Q56501959 P478 Q56501959-AEA092E5-3FE7-406B-A104-C6016B425076 @default.
- Q56501959 P577 Q56501959-84BD0982-1418-4E0D-B614-291377CB6E8B @default.
- Q56501959 P5875 Q56501959-28D84497-5BF7-4374-8650-C65252983B7A @default.
- Q56501959 P8978 Q56501959-0072D970-82F0-45A7-B796-9CECB4DD370F @default.
- Q56501959 P356 S10009-004-0151-Z @default.
- Q56501959 P8978 EdelkampLL04a @default.
- Q56501959 P1433 Q15762441 @default.
- Q56501959 P1476 "Partial-order reduction and trail improvement in directed model checking" @default.
- Q56501959 P2093 "Alberto Lluch-Lafuente" @default.
- Q56501959 P2093 "Stefan Edelkamp" @default.
- Q56501959 P2093 "Stefan Leue" @default.
- Q56501959 P2860 Q29301809 @default.
- Q56501959 P2860 Q56269613 @default.
- Q56501959 P2860 Q56501954 @default.
- Q56501959 P2860 Q56501982 @default.
- Q56501959 P2860 Q56502020 @default.
- Q56501959 P2888 s10009-004-0151-z @default.
- Q56501959 P304 "277-301" @default.
- Q56501959 P31 Q13442814 @default.
- Q56501959 P356 "10.1007/S10009-004-0151-Z" @default.
- Q56501959 P433 "4" @default.
- Q56501959 P478 "6" @default.
- Q56501959 P577 "2004-08-01T00:00:00Z" @default.
- Q56501959 P5875 "220643442" @default.
- Q56501959 P8978 "journals/sttt/EdelkampLL04a" @default.