Matches in Wikidata for { <http://www.wikidata.org/entity/Q60173587> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- Q60173587 description "article scientifique publié en 2010" @default.
- Q60173587 description "wetenschappelijk artikel" @default.
- Q60173587 description "наукова стаття, опублікована у 2010" @default.
- Q60173587 name "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 name "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 type Item @default.
- Q60173587 label "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 label "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 prefLabel "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 prefLabel "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 P1433 Q60173587-3BBE4EB4-A509-4FFD-9DCC-52481A8823E0 @default.
- Q60173587 P1476 Q60173587-7952D88A-0AC7-4D40-9C87-C3BC34778C9B @default.
- Q60173587 P2093 Q60173587-6C65C975-3455-46BC-9EF3-1C3EC3033419 @default.
- Q60173587 P2093 Q60173587-AFE6CA31-069A-4314-97BB-56D9B74AE931 @default.
- Q60173587 P304 Q60173587-6E5B2DB8-F40D-45DE-992F-FE9D6C6DF541 @default.
- Q60173587 P31 Q60173587-98C74838-1C88-4F41-8D23-C3BF1680F275 @default.
- Q60173587 P356 Q60173587-806E431F-EEAC-4CAD-9D96-8113840A9F05 @default.
- Q60173587 P407 Q60173587-CF348BFF-EAFD-42E3-AE11-B7FE33D7CA3C @default.
- Q60173587 P50 Q60173587-079C8B91-9662-450D-8838-58470687223A @default.
- Q60173587 P50 Q60173587-EF5099EA-2027-4BBA-BBDC-269A5310BCF8 @default.
- Q60173587 P577 Q60173587-B8001666-9948-4001-BA95-022FBAC61744 @default.
- Q60173587 P8978 Q60173587-D6C5DA95-E1D6-41C5-B13E-8F03ACCAC5CD @default.
- Q60173587 P356 978-3-642-16901-4_25 @default.
- Q60173587 P8978 AbdelhalimSST10 @default.
- Q60173587 P1433 Q924044 @default.
- Q60173587 P1476 "Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP" @default.
- Q60173587 P2093 "Islam Abdelhalim" @default.
- Q60173587 P2093 "James Sharp" @default.
- Q60173587 P304 "371-387" @default.
- Q60173587 P31 Q13442814 @default.
- Q60173587 P356 "10.1007/978-3-642-16901-4_25" @default.
- Q60173587 P407 Q1860 @default.
- Q60173587 P50 Q27983493 @default.
- Q60173587 P50 Q59396532 @default.
- Q60173587 P577 "2010-01-01T00:00:00Z" @default.
- Q60173587 P8978 "conf/icfem/AbdelhalimSST10" @default.