Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996965105> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1996965105 endingPage "304" @default.
- W1996965105 startingPage "295" @default.
- W1996965105 abstract "When developing the specifications of computer system components, it is often necessary or desirable to include non–deterministic behavior into the specification. Unfortunately this non–determinism can cause difficulty when we try to verify properties of the specification. In this paper we present a method for modelling non–determinism in a way that allows the verifier to isolate it from other aspects of the system component." @default.
- W1996965105 created "2016-06-24" @default.
- W1996965105 creator A5066247715 @default.
- W1996965105 date "1993-01-01" @default.
- W1996965105 modified "2023-09-25" @default.
- W1996965105 title "Modelling Non–Deterministic Systems in HOL" @default.
- W1996965105 cites W1977764760 @default.
- W1996965105 cites W2080914957 @default.
- W1996965105 cites W2096531533 @default.
- W1996965105 cites W2101827827 @default.
- W1996965105 cites W2132573821 @default.
- W1996965105 cites W2136898254 @default.
- W1996965105 cites W2148731609 @default.
- W1996965105 doi "https://doi.org/10.1016/b978-0-444-89880-7.50025-5" @default.
- W1996965105 hasPublicationYear "1993" @default.
- W1996965105 type Work @default.
- W1996965105 sameAs 1996965105 @default.
- W1996965105 citedByCount "1" @default.
- W1996965105 crossrefType "book-chapter" @default.
- W1996965105 hasAuthorship W1996965105A5066247715 @default.
- W1996965105 hasConcept C120314980 @default.
- W1996965105 hasConcept C121332964 @default.
- W1996965105 hasConcept C168167062 @default.
- W1996965105 hasConcept C17435882 @default.
- W1996965105 hasConcept C192183473 @default.
- W1996965105 hasConcept C199360897 @default.
- W1996965105 hasConcept C41008148 @default.
- W1996965105 hasConcept C62520636 @default.
- W1996965105 hasConcept C80444323 @default.
- W1996965105 hasConcept C97355855 @default.
- W1996965105 hasConceptScore W1996965105C120314980 @default.
- W1996965105 hasConceptScore W1996965105C121332964 @default.
- W1996965105 hasConceptScore W1996965105C168167062 @default.
- W1996965105 hasConceptScore W1996965105C17435882 @default.
- W1996965105 hasConceptScore W1996965105C192183473 @default.
- W1996965105 hasConceptScore W1996965105C199360897 @default.
- W1996965105 hasConceptScore W1996965105C41008148 @default.
- W1996965105 hasConceptScore W1996965105C62520636 @default.
- W1996965105 hasConceptScore W1996965105C80444323 @default.
- W1996965105 hasConceptScore W1996965105C97355855 @default.
- W1996965105 hasLocation W19969651051 @default.
- W1996965105 hasOpenAccess W1996965105 @default.
- W1996965105 hasPrimaryLocation W19969651051 @default.
- W1996965105 hasRelatedWork W1560655349 @default.
- W1996965105 hasRelatedWork W1571196178 @default.
- W1996965105 hasRelatedWork W2088318881 @default.
- W1996965105 hasRelatedWork W2109507516 @default.
- W1996965105 hasRelatedWork W2166247150 @default.
- W1996965105 hasRelatedWork W2379533788 @default.
- W1996965105 hasRelatedWork W2797934247 @default.
- W1996965105 hasRelatedWork W3163374525 @default.
- W1996965105 hasRelatedWork W4243252198 @default.
- W1996965105 hasRelatedWork W3085888268 @default.
- W1996965105 isParatext "false" @default.
- W1996965105 isRetracted "false" @default.
- W1996965105 magId "1996965105" @default.
- W1996965105 workType "book-chapter" @default.