Matches in SemOpenAlex for { <https://semopenalex.org/work/W2805117054> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W2805117054 endingPage "18" @default.
- W2805117054 startingPage "1" @default.
- W2805117054 created "2018-06-13" @default.
- W2805117054 creator A5021486887 @default.
- W2805117054 creator A5089822604 @default.
- W2805117054 creator A5008671444 @default.
- W2805117054 date "2017-01-01" @default.
- W2805117054 modified "2023-09-26" @default.
- W2805117054 title "SMT for state-based formal methods: the ASM case study." @default.
- W2805117054 hasPublicationYear "2017" @default.
- W2805117054 type Work @default.
- W2805117054 sameAs 2805117054 @default.
- W2805117054 citedByCount "0" @default.
- W2805117054 crossrefType "journal-article" @default.
- W2805117054 hasAuthorship W2805117054A5008671444 @default.
- W2805117054 hasAuthorship W2805117054A5021486887 @default.
- W2805117054 hasAuthorship W2805117054A5089822604 @default.
- W2805117054 hasConcept C154945302 @default.
- W2805117054 hasConcept C199360897 @default.
- W2805117054 hasConcept C41008148 @default.
- W2805117054 hasConcept C48103436 @default.
- W2805117054 hasConcept C75606506 @default.
- W2805117054 hasConceptScore W2805117054C154945302 @default.
- W2805117054 hasConceptScore W2805117054C199360897 @default.
- W2805117054 hasConceptScore W2805117054C41008148 @default.
- W2805117054 hasConceptScore W2805117054C48103436 @default.
- W2805117054 hasConceptScore W2805117054C75606506 @default.
- W2805117054 hasLocation W28051170541 @default.
- W2805117054 hasOpenAccess W2805117054 @default.
- W2805117054 hasPrimaryLocation W28051170541 @default.
- W2805117054 hasRelatedWork W1578808924 @default.
- W2805117054 hasRelatedWork W2473916963 @default.
- W2805117054 hasRelatedWork W2500782055 @default.
- W2805117054 hasRelatedWork W2502972448 @default.
- W2805117054 hasRelatedWork W2502612623 @default.
- W2805117054 isParatext "false" @default.
- W2805117054 isRetracted "false" @default.
- W2805117054 magId "2805117054" @default.
- W2805117054 workType "article" @default.