Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041539540> ?p ?o ?g. }
- W2041539540 endingPage "261" @default.
- W2041539540 startingPage "244" @default.
- W2041539540 created "2016-06-24" @default.
- W2041539540 creator A5022748498 @default.
- W2041539540 creator A5067702944 @default.
- W2041539540 creator A5086757331 @default.
- W2041539540 date "1997-11-01" @default.
- W2041539540 modified "2023-09-27" @default.
- W2041539540 title "Model checking graphical user interfaces using abstractions" @default.
- W2041539540 cites W1485969965 @default.
- W2041539540 cites W1503170978 @default.
- W2041539540 cites W1506588809 @default.
- W2041539540 cites W1971107784 @default.
- W2041539540 cites W1996750290 @default.
- W2041539540 cites W2018118431 @default.
- W2041539540 cites W2030837954 @default.
- W2041539540 cites W2039549168 @default.
- W2041539540 cites W2048707641 @default.
- W2041539540 cites W2070726469 @default.
- W2041539540 cites W2080593426 @default.
- W2041539540 cites W2093916942 @default.
- W2041539540 cites W2105180288 @default.
- W2041539540 cites W2107978495 @default.
- W2041539540 cites W2129058735 @default.
- W2041539540 cites W2143292990 @default.
- W2041539540 cites W2151056896 @default.
- W2041539540 cites W2575702446 @default.
- W2041539540 doi "https://doi.org/10.1145/267895.267914" @default.
- W2041539540 hasPublicationYear "1997" @default.
- W2041539540 type Work @default.
- W2041539540 sameAs 2041539540 @default.
- W2041539540 citedByCount "30" @default.
- W2041539540 countsByYear W20415395402012 @default.
- W2041539540 countsByYear W20415395402013 @default.
- W2041539540 countsByYear W20415395402014 @default.
- W2041539540 countsByYear W20415395402015 @default.
- W2041539540 countsByYear W20415395402017 @default.
- W2041539540 countsByYear W20415395402019 @default.
- W2041539540 crossrefType "proceedings-article" @default.
- W2041539540 hasAuthorship W2041539540A5022748498 @default.
- W2041539540 hasAuthorship W2041539540A5067702944 @default.
- W2041539540 hasAuthorship W2041539540A5086757331 @default.
- W2041539540 hasConcept C110251889 @default.
- W2041539540 hasConcept C115903868 @default.
- W2041539540 hasConcept C134306372 @default.
- W2041539540 hasConcept C136197465 @default.
- W2041539540 hasConcept C149229913 @default.
- W2041539540 hasConcept C154945302 @default.
- W2041539540 hasConcept C199360897 @default.
- W2041539540 hasConcept C2777904410 @default.
- W2041539540 hasConcept C33923547 @default.
- W2041539540 hasConcept C36503486 @default.
- W2041539540 hasConcept C37789001 @default.
- W2041539540 hasConcept C41008148 @default.
- W2041539540 hasConcept C66153210 @default.
- W2041539540 hasConcept C80444323 @default.
- W2041539540 hasConcept C89505385 @default.
- W2041539540 hasConceptScore W2041539540C110251889 @default.
- W2041539540 hasConceptScore W2041539540C115903868 @default.
- W2041539540 hasConceptScore W2041539540C134306372 @default.
- W2041539540 hasConceptScore W2041539540C136197465 @default.
- W2041539540 hasConceptScore W2041539540C149229913 @default.
- W2041539540 hasConceptScore W2041539540C154945302 @default.
- W2041539540 hasConceptScore W2041539540C199360897 @default.
- W2041539540 hasConceptScore W2041539540C2777904410 @default.
- W2041539540 hasConceptScore W2041539540C33923547 @default.
- W2041539540 hasConceptScore W2041539540C36503486 @default.
- W2041539540 hasConceptScore W2041539540C37789001 @default.
- W2041539540 hasConceptScore W2041539540C41008148 @default.
- W2041539540 hasConceptScore W2041539540C66153210 @default.
- W2041539540 hasConceptScore W2041539540C80444323 @default.
- W2041539540 hasConceptScore W2041539540C89505385 @default.
- W2041539540 hasIssue "6" @default.
- W2041539540 hasLocation W20415395401 @default.
- W2041539540 hasOpenAccess W2041539540 @default.
- W2041539540 hasPrimaryLocation W20415395401 @default.
- W2041539540 hasRelatedWork W1481814834 @default.
- W2041539540 hasRelatedWork W1503170978 @default.
- W2041539540 hasRelatedWork W1575584795 @default.
- W2041539540 hasRelatedWork W1879985069 @default.
- W2041539540 hasRelatedWork W1964446022 @default.
- W2041539540 hasRelatedWork W1981686104 @default.
- W2041539540 hasRelatedWork W1982169621 @default.
- W2041539540 hasRelatedWork W2023027674 @default.
- W2041539540 hasRelatedWork W2043100293 @default.
- W2041539540 hasRelatedWork W2099529102 @default.
- W2041539540 hasRelatedWork W2115309705 @default.
- W2041539540 hasRelatedWork W2117141328 @default.
- W2041539540 hasRelatedWork W2117189826 @default.
- W2041539540 hasRelatedWork W2125753667 @default.
- W2041539540 hasRelatedWork W2148898704 @default.
- W2041539540 hasRelatedWork W2151056896 @default.
- W2041539540 hasRelatedWork W2160384810 @default.
- W2041539540 hasRelatedWork W2167762898 @default.
- W2041539540 hasRelatedWork W2172081876 @default.
- W2041539540 hasRelatedWork W2913459036 @default.
- W2041539540 hasVolume "22" @default.
- W2041539540 isParatext "false" @default.
- W2041539540 isRetracted "false" @default.
- W2041539540 magId "2041539540" @default.