Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567158036> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1567158036 endingPage "86" @default.
- W1567158036 startingPage "71" @default.
- W1567158036 abstract "As a relatively new application area for LOTOS (Language Of Temporal Ordering Specification), the specification of digital logic is investigated. A specification approach is evolved and justified, illustrated with basic logic gates and the larger example of a keyboard controller. The construction and validation of the digital component library are discussed, along with a retrieval tool that allows access to the library." @default.
- W1567158036 created "2016-06-24" @default.
- W1567158036 creator A5011202875 @default.
- W1567158036 creator A5039872140 @default.
- W1567158036 date "1993-10-26" @default.
- W1567158036 modified "2023-09-26" @default.
- W1567158036 title "DILL: Specifying Digital Logic in LOTOS" @default.
- W1567158036 cites W1500394786 @default.
- W1567158036 cites W1501834391 @default.
- W1567158036 cites W1524834295 @default.
- W1567158036 cites W1533728717 @default.
- W1567158036 cites W1565996669 @default.
- W1567158036 cites W1571091199 @default.
- W1567158036 cites W16437043 @default.
- W1567158036 cites W1992552504 @default.
- W1567158036 cites W1994879909 @default.
- W1567158036 cites W2031057775 @default.
- W1567158036 cites W26566394 @default.
- W1567158036 hasPublicationYear "1993" @default.
- W1567158036 type Work @default.
- W1567158036 sameAs 1567158036 @default.
- W1567158036 citedByCount "6" @default.
- W1567158036 crossrefType "proceedings-article" @default.
- W1567158036 hasAuthorship W1567158036A5011202875 @default.
- W1567158036 hasAuthorship W1567158036A5039872140 @default.
- W1567158036 hasConcept C11413529 @default.
- W1567158036 hasConcept C119599485 @default.
- W1567158036 hasConcept C121332964 @default.
- W1567158036 hasConcept C127413603 @default.
- W1567158036 hasConcept C131017901 @default.
- W1567158036 hasConcept C134146338 @default.
- W1567158036 hasConcept C157922185 @default.
- W1567158036 hasConcept C168167062 @default.
- W1567158036 hasConcept C199360897 @default.
- W1567158036 hasConcept C201677973 @default.
- W1567158036 hasConcept C25016198 @default.
- W1567158036 hasConcept C34854456 @default.
- W1567158036 hasConcept C41008148 @default.
- W1567158036 hasConcept C80444323 @default.
- W1567158036 hasConcept C81843906 @default.
- W1567158036 hasConcept C97355855 @default.
- W1567158036 hasConceptScore W1567158036C11413529 @default.
- W1567158036 hasConceptScore W1567158036C119599485 @default.
- W1567158036 hasConceptScore W1567158036C121332964 @default.
- W1567158036 hasConceptScore W1567158036C127413603 @default.
- W1567158036 hasConceptScore W1567158036C131017901 @default.
- W1567158036 hasConceptScore W1567158036C134146338 @default.
- W1567158036 hasConceptScore W1567158036C157922185 @default.
- W1567158036 hasConceptScore W1567158036C168167062 @default.
- W1567158036 hasConceptScore W1567158036C199360897 @default.
- W1567158036 hasConceptScore W1567158036C201677973 @default.
- W1567158036 hasConceptScore W1567158036C25016198 @default.
- W1567158036 hasConceptScore W1567158036C34854456 @default.
- W1567158036 hasConceptScore W1567158036C41008148 @default.
- W1567158036 hasConceptScore W1567158036C80444323 @default.
- W1567158036 hasConceptScore W1567158036C81843906 @default.
- W1567158036 hasConceptScore W1567158036C97355855 @default.
- W1567158036 hasLocation W15671580361 @default.
- W1567158036 hasOpenAccess W1567158036 @default.
- W1567158036 hasPrimaryLocation W15671580361 @default.
- W1567158036 hasRelatedWork W118247346 @default.
- W1567158036 hasRelatedWork W1498276056 @default.
- W1567158036 hasRelatedWork W1528237133 @default.
- W1567158036 hasRelatedWork W1929503196 @default.
- W1567158036 hasRelatedWork W199714655 @default.
- W1567158036 hasRelatedWork W2113316597 @default.
- W1567158036 hasRelatedWork W2185266427 @default.
- W1567158036 hasRelatedWork W2481160849 @default.
- W1567158036 hasRelatedWork W2800665087 @default.
- W1567158036 hasRelatedWork W2924901818 @default.
- W1567158036 hasRelatedWork W3023769331 @default.
- W1567158036 hasRelatedWork W3182891163 @default.
- W1567158036 hasRelatedWork W643586785 @default.
- W1567158036 hasRelatedWork W171566663 @default.
- W1567158036 hasRelatedWork W2771592375 @default.
- W1567158036 hasRelatedWork W2816333287 @default.
- W1567158036 hasRelatedWork W2840190099 @default.
- W1567158036 hasRelatedWork W2855116983 @default.
- W1567158036 hasRelatedWork W2858200847 @default.
- W1567158036 hasRelatedWork W2971285233 @default.
- W1567158036 isParatext "false" @default.
- W1567158036 isRetracted "false" @default.
- W1567158036 magId "1567158036" @default.
- W1567158036 workType "article" @default.