Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152382912> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2152382912 endingPage "356" @default.
- W2152382912 startingPage "356" @default.
- W2152382912 created "2016-06-24" @default.
- W2152382912 creator A5068025124 @default.
- W2152382912 creator A5090547911 @default.
- W2152382912 date "2008-09-20" @default.
- W2152382912 modified "2023-09-30" @default.
- W2152382912 title "Formal Verification of ASM Models Using TLA +" @default.
- W2152382912 cites W4230958226 @default.
- W2152382912 doi "https://doi.org/10.1007/978-3-540-87603-8_43" @default.
- W2152382912 hasPublicationYear "2008" @default.
- W2152382912 type Work @default.
- W2152382912 sameAs 2152382912 @default.
- W2152382912 citedByCount "1" @default.
- W2152382912 crossrefType "book-chapter" @default.
- W2152382912 hasAuthorship W2152382912A5068025124 @default.
- W2152382912 hasAuthorship W2152382912A5090547911 @default.
- W2152382912 hasConcept C110251889 @default.
- W2152382912 hasConcept C111498074 @default.
- W2152382912 hasConcept C11648818 @default.
- W2152382912 hasConcept C145243422 @default.
- W2152382912 hasConcept C151730666 @default.
- W2152382912 hasConcept C162670838 @default.
- W2152382912 hasConcept C167822520 @default.
- W2152382912 hasConcept C199360897 @default.
- W2152382912 hasConcept C25016198 @default.
- W2152382912 hasConcept C2779343474 @default.
- W2152382912 hasConcept C41008148 @default.
- W2152382912 hasConcept C4777664 @default.
- W2152382912 hasConcept C48103436 @default.
- W2152382912 hasConcept C55439883 @default.
- W2152382912 hasConcept C80444323 @default.
- W2152382912 hasConcept C86803240 @default.
- W2152382912 hasConceptScore W2152382912C110251889 @default.
- W2152382912 hasConceptScore W2152382912C111498074 @default.
- W2152382912 hasConceptScore W2152382912C11648818 @default.
- W2152382912 hasConceptScore W2152382912C145243422 @default.
- W2152382912 hasConceptScore W2152382912C151730666 @default.
- W2152382912 hasConceptScore W2152382912C162670838 @default.
- W2152382912 hasConceptScore W2152382912C167822520 @default.
- W2152382912 hasConceptScore W2152382912C199360897 @default.
- W2152382912 hasConceptScore W2152382912C25016198 @default.
- W2152382912 hasConceptScore W2152382912C2779343474 @default.
- W2152382912 hasConceptScore W2152382912C41008148 @default.
- W2152382912 hasConceptScore W2152382912C4777664 @default.
- W2152382912 hasConceptScore W2152382912C48103436 @default.
- W2152382912 hasConceptScore W2152382912C55439883 @default.
- W2152382912 hasConceptScore W2152382912C80444323 @default.
- W2152382912 hasConceptScore W2152382912C86803240 @default.
- W2152382912 hasLocation W21523829121 @default.
- W2152382912 hasOpenAccess W2152382912 @default.
- W2152382912 hasPrimaryLocation W21523829121 @default.
- W2152382912 hasRelatedWork W1515452107 @default.
- W2152382912 hasRelatedWork W1546948343 @default.
- W2152382912 hasRelatedWork W1630138018 @default.
- W2152382912 hasRelatedWork W2051068608 @default.
- W2152382912 hasRelatedWork W2126058650 @default.
- W2152382912 hasRelatedWork W2152382912 @default.
- W2152382912 hasRelatedWork W2213886569 @default.
- W2152382912 hasRelatedWork W2373555819 @default.
- W2152382912 hasRelatedWork W2741430969 @default.
- W2152382912 hasRelatedWork W2555151747 @default.
- W2152382912 isParatext "false" @default.
- W2152382912 isRetracted "false" @default.
- W2152382912 magId "2152382912" @default.
- W2152382912 workType "book-chapter" @default.