Matches in SemOpenAlex for { <https://semopenalex.org/work/W78484> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W78484 endingPage "80" @default.
- W78484 startingPage "78" @default.
- W78484 created "2016-06-24" @default.
- W78484 creator A5037659535 @default.
- W78484 creator A5068781921 @default.
- W78484 creator A5079876686 @default.
- W78484 date "2004-01-01" @default.
- W78484 modified "2023-09-27" @default.
- W78484 title "Collaboration-based verification of Object-Oriented models in HOL." @default.
- W78484 hasPublicationYear "2004" @default.
- W78484 type Work @default.
- W78484 sameAs 78484 @default.
- W78484 citedByCount "0" @default.
- W78484 crossrefType "journal-article" @default.
- W78484 hasAuthorship W78484A5037659535 @default.
- W78484 hasAuthorship W78484A5068781921 @default.
- W78484 hasAuthorship W78484A5079876686 @default.
- W78484 hasConcept C154945302 @default.
- W78484 hasConcept C17435882 @default.
- W78484 hasConcept C199360897 @default.
- W78484 hasConcept C2781238097 @default.
- W78484 hasConcept C41008148 @default.
- W78484 hasConceptScore W78484C154945302 @default.
- W78484 hasConceptScore W78484C17435882 @default.
- W78484 hasConceptScore W78484C199360897 @default.
- W78484 hasConceptScore W78484C2781238097 @default.
- W78484 hasConceptScore W78484C41008148 @default.
- W78484 hasLocation W784841 @default.
- W78484 hasOpenAccess W78484 @default.
- W78484 hasPrimaryLocation W784841 @default.
- W78484 hasRelatedWork W141057656 @default.
- W78484 hasRelatedWork W1561523230 @default.
- W78484 hasRelatedWork W1827057753 @default.
- W78484 hasRelatedWork W1926120412 @default.
- W78484 hasRelatedWork W1936525022 @default.
- W78484 hasRelatedWork W2043132803 @default.
- W78484 hasRelatedWork W2055253682 @default.
- W78484 hasRelatedWork W207170111 @default.
- W78484 hasRelatedWork W2100556575 @default.
- W78484 hasRelatedWork W2109335575 @default.
- W78484 hasRelatedWork W2125577495 @default.
- W78484 hasRelatedWork W2156011145 @default.
- W78484 hasRelatedWork W2547866356 @default.
- W78484 hasRelatedWork W2560854987 @default.
- W78484 hasRelatedWork W2563414390 @default.
- W78484 hasRelatedWork W2785178068 @default.
- W78484 hasRelatedWork W563553891 @default.
- W78484 hasRelatedWork W628386453 @default.
- W78484 hasRelatedWork W3089171356 @default.
- W78484 hasRelatedWork W3110563653 @default.
- W78484 isParatext "false" @default.
- W78484 isRetracted "false" @default.
- W78484 magId "78484" @default.
- W78484 workType "article" @default.