Matches in Wikidata for { <http://www.wikidata.org/entity/Q57006692> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q57006692 description "article scientifique publié en 2004" @default.
- Q57006692 description "article" @default.
- Q57006692 description "wetenschappelijk artikel" @default.
- Q57006692 description "наукова стаття, опублікована у 2004" @default.
- Q57006692 name "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 name "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 type Item @default.
- Q57006692 label "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 label "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 prefLabel "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 prefLabel "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 P1433 Q57006692-0BECFD6B-3629-47C3-8FE6-80E8E0ECA755 @default.
- Q57006692 P1476 Q57006692-912B1293-A065-435B-9D86-4F99BFF87368 @default.
- Q57006692 P2093 Q57006692-1BFD2F2C-F048-4215-93BF-9B6A014FB2A7 @default.
- Q57006692 P2093 Q57006692-43A80842-9517-4B7A-9C1D-A4A0155E208A @default.
- Q57006692 P2093 Q57006692-6B3EF1EF-9F17-4595-8163-ADAD7DE17A10 @default.
- Q57006692 P304 Q57006692-60A042B1-CFD9-400E-9B32-C54095E997CA @default.
- Q57006692 P31 Q57006692-80BB89C3-7279-4237-A15D-1B666A14E0D0 @default.
- Q57006692 P356 Q57006692-8C6A4AF6-D6DD-4B4E-9B2B-92B5A18D3CBC @default.
- Q57006692 P407 Q57006692-98136BFA-7867-4156-BA3E-781B2FD05C30 @default.
- Q57006692 P50 Q57006692-8A23E83A-1581-4757-8B50-1F89638A381C @default.
- Q57006692 P577 Q57006692-7FE905D8-5414-42D6-8BD2-CDED86AC238E @default.
- Q57006692 P8978 Q57006692-2A5DC863-AAF3-4E87-B895-B9DF7908B761 @default.
- Q57006692 P921 Q57006692-FAC8F67D-D0C6-4089-A110-FA007FDDF407 @default.
- Q57006692 P356 978-3-540-24730-2_32 @default.
- Q57006692 P8978 AbramskyGMO04 @default.
- Q57006692 P1433 Q924044 @default.
- Q57006692 P1476 "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- Q57006692 P2093 "Andrzej S. Murawski" @default.
- Q57006692 P2093 "C. -H. Luke Ong" @default.
- Q57006692 P2093 "Dan R. Ghica" @default.
- Q57006692 P304 "421-435" @default.
- Q57006692 P31 Q13442814 @default.
- Q57006692 P356 "10.1007/978-3-540-24730-2_32" @default.
- Q57006692 P407 Q1860 @default.
- Q57006692 P50 Q7410357 @default.
- Q57006692 P577 "2004-01-01T00:00:00Z" @default.
- Q57006692 P8978 "conf/tacas/AbramskyGMO04" @default.
- Q57006692 P921 Q7397 @default.