Matches in Wikidata for { <http://www.wikidata.org/entity/Q59612703> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q59612703 description "article scientifique publié en 2017" @default.
- Q59612703 description "im Dezember 2017 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59612703 description "wetenschappelijk artikel" @default.
- Q59612703 description "наукова стаття, опублікована в грудні 2017" @default.
- Q59612703 name "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 name "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 type Item @default.
- Q59612703 label "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 label "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 prefLabel "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 prefLabel "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 P1433 Q59612703-CD34878B-0774-4A78-AC21-DBDBA4E266EB @default.
- Q59612703 P1476 Q59612703-522DE9E8-38D9-4AC8-8FFA-96F947803503 @default.
- Q59612703 P2093 Q59612703-88170FBC-2E1C-41FA-89C9-FAA0EA497FAD @default.
- Q59612703 P2093 Q59612703-E1D8BF12-4A84-4FB6-A97E-44E2B1215B72 @default.
- Q59612703 P275 Q59612703-29f798f2-40e7-4d53-beeb-72f008457537 @default.
- Q59612703 P2888 Q59612703-4E9446FC-FF37-4159-A797-AADAF2AF98EC @default.
- Q59612703 P304 Q59612703-2529D5DA-4EE5-42FB-B4FD-51C420F2AF7B @default.
- Q59612703 P31 Q59612703-FC7ED7F7-E53C-4B64-8430-1F85D6CE84B7 @default.
- Q59612703 P356 Q59612703-A0F161F3-80FC-4750-8E09-963C2B4DDA3B @default.
- Q59612703 P433 Q59612703-4AA4ED22-7D72-4763-A5AC-07E1FD7E6AA8 @default.
- Q59612703 P478 Q59612703-D4CC97E2-2B8C-45E7-9F9D-C3B1993F4919 @default.
- Q59612703 P577 Q59612703-3A571A9B-612F-4892-9007-7DE1C7EDB371 @default.
- Q59612703 P6104 Q59612703-88AD2245-D2B1-4F72-83D1-7925B5CFBCF0 @default.
- Q59612703 P6216 Q59612703-57dbb454-9f12-4804-89be-70d04d79674e @default.
- Q59612703 P894 Q59612703-6B47FFFF-9656-4C14-97B7-F95C434717E6 @default.
- Q59612703 P8978 Q59612703-C4374CC3-FFF7-4881-8036-155FA6121A19 @default.
- Q59612703 P356 S00165-017-0447-X @default.
- Q59612703 P8978 PedersenW18 @default.
- Q59612703 P1433 Q5469945 @default.
- Q59612703 P1476 "The symbiosis of concurrency and verification: teaching and case studies" @default.
- Q59612703 P2093 "Jan B. Pedersen" @default.
- Q59612703 P2093 "Peter H. Welch" @default.
- Q59612703 P275 Q20007257 @default.
- Q59612703 P2888 s00165-017-0447-x @default.
- Q59612703 P304 "239-277" @default.
- Q59612703 P31 Q13442814 @default.
- Q59612703 P356 "10.1007/S00165-017-0447-X" @default.
- Q59612703 P433 "2" @default.
- Q59612703 P478 "30" @default.
- Q59612703 P577 "2017-12-20T00:00:00Z" @default.
- Q59612703 P6104 Q8487137 @default.
- Q59612703 P6216 Q50423863 @default.
- Q59612703 P894 "1382.68144" @default.
- Q59612703 P8978 "journals/fac/PedersenW18" @default.