Matches in Wikidata for { <http://www.wikidata.org/entity/Q57800990> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- Q57800990 description "im Juli 2013 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57800990 description "wetenschappelijk artikel" @default.
- Q57800990 description "наукова стаття, опублікована в липні 2013" @default.
- Q57800990 name "Model checking for performability" @default.
- Q57800990 name "Model checking for performability" @default.
- Q57800990 type Item @default.
- Q57800990 label "Model checking for performability" @default.
- Q57800990 label "Model checking for performability" @default.
- Q57800990 prefLabel "Model checking for performability" @default.
- Q57800990 prefLabel "Model checking for performability" @default.
- Q57800990 P1433 Q57800990-813177F2-5803-40E5-9B74-82E544F51125 @default.
- Q57800990 P1476 Q57800990-E10EE067-6771-4AB6-9D4D-757ECE42CA88 @default.
- Q57800990 P2093 Q57800990-760E50DD-8399-41C8-8454-AF42EDC185AF @default.
- Q57800990 P2093 Q57800990-9F411589-DD50-46D0-9417-65B3F690D1AD @default.
- Q57800990 P2093 Q57800990-D7465A03-0CBB-4D10-9EE7-3E28642C235C @default.
- Q57800990 P2093 Q57800990-D89144E0-3124-43D8-8843-6386B79A5C9B @default.
- Q57800990 P2093 Q57800990-E899F6F1-A1F9-4322-A947-B359562DDCF9 @default.
- Q57800990 P2860 Q57800990-021DD73C-B6DD-42A0-8C0E-D350C3813955 @default.
- Q57800990 P2860 Q57800990-0B7F1324-F0B2-4F75-9870-970286923C58 @default.
- Q57800990 P2860 Q57800990-3CFCDEB3-E30C-4273-B065-5767BDD30AA4 @default.
- Q57800990 P2860 Q57800990-3DF976F9-03DD-4F92-B833-785B0ECFAAD7 @default.
- Q57800990 P2860 Q57800990-40DF8AB5-DCB9-4901-9387-1289E5E1C927 @default.
- Q57800990 P2860 Q57800990-511E1DD0-7821-4CD3-86A4-444E4339A0BF @default.
- Q57800990 P2860 Q57800990-5BF8C4F7-1D2E-4313-8228-230E6E07F011 @default.
- Q57800990 P2860 Q57800990-708BC3BE-DB4B-4730-923A-A58FF47D5369 @default.
- Q57800990 P2860 Q57800990-7622A7C3-913D-4DC3-9797-AA50853C26FD @default.
- Q57800990 P2860 Q57800990-A098AA15-BB4B-4D0C-8208-91328155F19F @default.
- Q57800990 P2860 Q57800990-A798BD12-B832-4DA2-8137-A14C3BDB154D @default.
- Q57800990 P304 Q57800990-D68F1E3A-26BF-4EFC-BABE-60F37D048737 @default.
- Q57800990 P31 Q57800990-19FC007F-BC44-4A7D-8EBA-5910B92E5784 @default.
- Q57800990 P356 Q57800990-45AA29DC-7DA1-459C-A683-C5F2EAA19A3E @default.
- Q57800990 P433 Q57800990-2C0175A3-7DCF-41AF-BD1C-1584FB8A3E0D @default.
- Q57800990 P478 Q57800990-F3FEF83D-1F1C-4958-A6C5-2E04BB9A8032 @default.
- Q57800990 P577 Q57800990-0227651B-5223-4E48-BCF8-CE61892DBA71 @default.
- Q57800990 P6104 Q57800990-6C3BEC19-35F4-4E1A-9F1D-AF3747EB5FB7 @default.
- Q57800990 P894 Q57800990-01899BBD-6B24-4738-8537-9D88480534AC @default.
- Q57800990 P8978 Q57800990-F74BC082-5FE7-4E35-9A23-9EA2530BF6BB @default.
- Q57800990 P356 S0960129512000254 @default.
- Q57800990 P8978 BaierHHHK13 @default.
- Q57800990 P1433 Q15762975 @default.
- Q57800990 P1476 "Model checking for performability" @default.
- Q57800990 P2093 "B. R. HAVERKORT" @default.
- Q57800990 P2093 "C. BAIER" @default.
- Q57800990 P2093 "E. M. HAHN" @default.
- Q57800990 P2093 "H. HERMANNS" @default.
- Q57800990 P2093 "J.-P. KATOEN" @default.
- Q57800990 P2860 Q55918946 @default.
- Q57800990 P2860 Q56032154 @default.
- Q57800990 P2860 Q56503748 @default.
- Q57800990 P2860 Q56763957 @default.
- Q57800990 P2860 Q57801337 @default.
- Q57800990 P2860 Q57801465 @default.
- Q57800990 P2860 Q57801475 @default.
- Q57800990 P2860 Q57801490 @default.
- Q57800990 P2860 Q57801888 @default.
- Q57800990 P2860 Q57801899 @default.
- Q57800990 P2860 Q57801994 @default.
- Q57800990 P304 "751-795" @default.
- Q57800990 P31 Q13442814 @default.
- Q57800990 P356 "10.1017/S0960129512000254" @default.
- Q57800990 P433 "04" @default.
- Q57800990 P478 "23" @default.
- Q57800990 P577 "2013-07-08T00:00:00Z" @default.
- Q57800990 P6104 Q8487137 @default.
- Q57800990 P894 "1358.68181" @default.
- Q57800990 P8978 "journals/mscs/BaierHHHK13" @default.