Matches in Wikidata for { <http://www.wikidata.org/entity/Q61693612> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q61693612 description "im Juli 2013 veröffentlichter wissenschaftlicher Artikel" @default.
- Q61693612 description "wetenschappelijk artikel" @default.
- Q61693612 description "наукова стаття, опублікована в липні 2013" @default.
- Q61693612 name "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 name "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 type Item @default.
- Q61693612 label "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 label "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 prefLabel "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 prefLabel "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 P1433 Q61693612-60FB4861-3AF2-436D-849F-36531208BCD9 @default.
- Q61693612 P1476 Q61693612-0D47C742-F23D-4C0C-B702-72DCFF5B288A @default.
- Q61693612 P2093 Q61693612-6525046A-0D40-4735-A37B-1D0539F9DAE3 @default.
- Q61693612 P2093 Q61693612-932A11F5-177A-4B09-802D-0E85AEACC3E9 @default.
- Q61693612 P304 Q61693612-E22C311F-E5FA-476A-AF8F-324DC42E1E01 @default.
- Q61693612 P31 Q61693612-ED019E5F-AC2B-499D-8568-10099127AC9C @default.
- Q61693612 P356 Q61693612-22055ABD-9B12-4529-A1A2-05B5DA352EA6 @default.
- Q61693612 P433 Q61693612-5170E50D-82D9-4F51-BDA9-9BA6A7552D75 @default.
- Q61693612 P478 Q61693612-3F839DBA-2672-40B2-AC13-F60BFB7F9BB3 @default.
- Q61693612 P577 Q61693612-59B48E53-9625-4291-A23D-645F6CD19752 @default.
- Q61693612 P8978 Q61693612-7A078D33-C56C-4125-9E88-584680604DE9 @default.
- Q61693612 P356 S0960129513000145 @default.
- Q61693612 P8978 BestavrosK13 @default.
- Q61693612 P1433 Q15762975 @default.
- Q61693612 P1476 "Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems" @default.
- Q61693612 P2093 "ASSAF KFOURY" @default.
- Q61693612 P2093 "AZER BESTAVROS" @default.
- Q61693612 P304 "675" @default.
- Q61693612 P31 Q13442814 @default.
- Q61693612 P356 "10.1017/S0960129513000145" @default.
- Q61693612 P433 "04" @default.
- Q61693612 P478 "23" @default.
- Q61693612 P577 "2013-07-08T00:00:00Z" @default.
- Q61693612 P8978 "journals/mscs/BestavrosK13" @default.