FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014643105> ?p ?o ?g. }

• W3014643105 endingPage "277" @default.
• W3014643105 startingPage "259" @default.
• W3014643105 abstract "This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory." @default.
• W3014643105 created "2020-04-10" @default.
• W3014643105 creator A5004995921 @default.
• W3014643105 date "2020-04-04" @default.
• W3014643105 modified "2023-09-25" @default.
• W3014643105 title "Introducing H, an Institution-Based Formal Specification and Verification Language" @default.
• W3014643105 cites W1491583272 @default.
• W3014643105 cites W1515857575 @default.
• W3014643105 cites W1519551513 @default.
• W3014643105 cites W1877482483 @default.
• W3014643105 cites W1968752495 @default.
• W3014643105 cites W1988119046 @default.
• W3014643105 cites W2005688979 @default.
• W3014643105 cites W2010121058 @default.
• W3014643105 cites W2010883554 @default.
• W3014643105 cites W2052882335 @default.
• W3014643105 cites W2064773636 @default.
• W3014643105 cites W2104169671 @default.
• W3014643105 cites W2117159510 @default.
• W3014643105 cites W2135652513 @default.
• W3014643105 cites W2155581733 @default.
• W3014643105 cites W2163349468 @default.
• W3014643105 cites W2169327191 @default.
• W3014643105 cites W2201970214 @default.
• W3014643105 cites W2583369873 @default.
• W3014643105 cites W2973533397 @default.
• W3014643105 cites W2979783404 @default.
• W3014643105 cites W3183889129 @default.
• W3014643105 cites W4214880480 @default.
• W3014643105 cites W4229783124 @default.
• W3014643105 cites W423830787 @default.
• W3014643105 cites W4238794324 @default.
• W3014643105 cites W4239399053 @default.
• W3014643105 cites W4254228903 @default.
• W3014643105 cites W4256000740 @default.
• W3014643105 doi "https://doi.org/10.1007/s11787-020-00249-y" @default.
• W3014643105 hasPublicationYear "2020" @default.
• W3014643105 type Work @default.
• W3014643105 sameAs 3014643105 @default.
• W3014643105 citedByCount "3" @default.
• W3014643105 countsByYear W30146431052021 @default.
• W3014643105 countsByYear W30146431052022 @default.
• W3014643105 crossrefType "journal-article" @default.
• W3014643105 hasAuthorship W3014643105A5004995921 @default.
• W3014643105 hasBestOaLocation W30146431052 @default.
• W3014643105 hasConcept C102993220 @default.
• W3014643105 hasConcept C138885662 @default.
• W3014643105 hasConcept C144024400 @default.
• W3014643105 hasConcept C146072743 @default.
• W3014643105 hasConcept C146499914 @default.
• W3014643105 hasConcept C160131679 @default.
• W3014643105 hasConcept C184337299 @default.
• W3014643105 hasConcept C185954173 @default.
• W3014643105 hasConcept C195324797 @default.
• W3014643105 hasConcept C199360897 @default.
• W3014643105 hasConcept C201677973 @default.
• W3014643105 hasConcept C203659156 @default.
• W3014643105 hasConcept C204321447 @default.
• W3014643105 hasConcept C2780510313 @default.
• W3014643105 hasConcept C36289849 @default.
• W3014643105 hasConcept C41008148 @default.
• W3014643105 hasConcept C41895202 @default.
• W3014643105 hasConcept C75606506 @default.
• W3014643105 hasConceptScore W3014643105C102993220 @default.
• W3014643105 hasConceptScore W3014643105C138885662 @default.
• W3014643105 hasConceptScore W3014643105C144024400 @default.
• W3014643105 hasConceptScore W3014643105C146072743 @default.
• W3014643105 hasConceptScore W3014643105C146499914 @default.
• W3014643105 hasConceptScore W3014643105C160131679 @default.
• W3014643105 hasConceptScore W3014643105C184337299 @default.
• W3014643105 hasConceptScore W3014643105C185954173 @default.
• W3014643105 hasConceptScore W3014643105C195324797 @default.
• W3014643105 hasConceptScore W3014643105C199360897 @default.
• W3014643105 hasConceptScore W3014643105C201677973 @default.
• W3014643105 hasConceptScore W3014643105C203659156 @default.
• W3014643105 hasConceptScore W3014643105C204321447 @default.
• W3014643105 hasConceptScore W3014643105C2780510313 @default.
• W3014643105 hasConceptScore W3014643105C36289849 @default.
• W3014643105 hasConceptScore W3014643105C41008148 @default.
• W3014643105 hasConceptScore W3014643105C41895202 @default.
• W3014643105 hasConceptScore W3014643105C75606506 @default.
• W3014643105 hasIssue "2" @default.
• W3014643105 hasLocation W30146431051 @default.
• W3014643105 hasLocation W30146431052 @default.
• W3014643105 hasOpenAccess W3014643105 @default.
• W3014643105 hasPrimaryLocation W30146431051 @default.
• W3014643105 hasRelatedWork W1502188990 @default.
• W3014643105 hasRelatedWork W2084871158 @default.
• W3014643105 hasRelatedWork W2119895020 @default.
• W3014643105 hasRelatedWork W2124981297 @default.
• W3014643105 hasRelatedWork W2156223462 @default.
• W3014643105 hasRelatedWork W25224113 @default.
• W3014643105 hasRelatedWork W2721743027 @default.
• W3014643105 hasRelatedWork W2898425611 @default.
• W3014643105 hasRelatedWork W2970404526 @default.
• W3014643105 hasRelatedWork W3104229214 @default.
• W3014643105 hasVolume "14" @default.
• W3014643105 isParatext "false" @default.

• next