Matches in Wikidata for { <http://www.wikidata.org/entity/Q60373957> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q60373957 description "im Dezember 2018 veröffentlichter wissenschaftlicher Artikel" @default.
- Q60373957 description "wetenschappelijk artikel" @default.
- Q60373957 description "наукова стаття, опублікована в грудні 2018" @default.
- Q60373957 name "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 name "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 type Item @default.
- Q60373957 label "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 label "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 prefLabel "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 prefLabel "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 P1433 Q60373957-526A6E54-4C4A-4BAC-BEAA-E15D2061CEDA @default.
- Q60373957 P1476 Q60373957-782A610D-A6C1-4B18-8B09-C9F8C444B2A3 @default.
- Q60373957 P2093 Q60373957-A85AF7A7-13E7-4E94-9E40-7B251E781921 @default.
- Q60373957 P304 Q60373957-74694696-4578-495B-AD4A-18A4486C9C10 @default.
- Q60373957 P31 Q60373957-D963AA6B-888B-4688-B7FF-26C0CE5A3B6C @default.
- Q60373957 P356 Q60373957-ADA3C6CA-CA41-4656-AD5A-6090DE41DE06 @default.
- Q60373957 P478 Q60373957-A1FBF546-83CF-4721-B2D0-D65543892442 @default.
- Q60373957 P50 Q60373957-093598E7-81B6-4FBB-A5DE-7F02EF84A3DD @default.
- Q60373957 P50 Q60373957-15FF61A6-4E34-41A5-B673-672359AF37D5 @default.
- Q60373957 P50 Q60373957-61F974F4-31A7-43CE-A5B2-3660A2686394 @default.
- Q60373957 P50 Q60373957-9CBBA326-92D3-4D91-8AD9-5166ED511878 @default.
- Q60373957 P577 Q60373957-3FAA5AA2-330F-4E56-A950-A4D5DD4987EC @default.
- Q60373957 P8978 Q60373957-FDA41FB4-1DFD-40B1-90D6-D5413CC23E32 @default.
- Q60373957 P921 Q60373957-7CEDFACD-4F4D-455A-91BB-07B96A89E6ED @default.
- Q60373957 P356 J.CL.2017.11.002 @default.
- Q60373957 P8978 PrzigodaNFWD18 @default.
- Q60373957 P1433 Q15749825 @default.
- Q60373957 P1476 "Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements" @default.
- Q60373957 P2093 "Jonas Gomes Filho" @default.
- Q60373957 P304 "512-527" @default.
- Q60373957 P31 Q13442814 @default.
- Q60373957 P356 "10.1016/J.CL.2017.11.002" @default.
- Q60373957 P478 "54" @default.
- Q60373957 P50 Q1378532 @default.
- Q60373957 P50 Q60013415 @default.
- Q60373957 P50 Q60814027 @default.
- Q60373957 P50 Q71008901 @default.
- Q60373957 P577 "2018-12-01T00:00:00Z" @default.
- Q60373957 P8978 "journals/cl/PrzigodaNFWD18" @default.
- Q60373957 P921 Q184199 @default.