Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040805610> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2040805610 endingPage "94" @default.
- W2040805610 startingPage "61" @default.
- W2040805610 created "2016-06-24" @default.
- W2040805610 creator A5003860948 @default.
- W2040805610 creator A5023776065 @default.
- W2040805610 creator A5036632328 @default.
- W2040805610 date "1994-07-01" @default.
- W2040805610 modified "2023-10-01" @default.
- W2040805610 title "Modeling multi-rate DSP specification semantics for formal transformational design in HOL" @default.
- W2040805610 cites W1539846388 @default.
- W2040805610 cites W1765185341 @default.
- W2040805610 cites W2002220866 @default.
- W2040805610 cites W2086242464 @default.
- W2040805610 cites W2160345626 @default.
- W2040805610 doi "https://doi.org/10.1007/bf01384234" @default.
- W2040805610 hasPublicationYear "1994" @default.
- W2040805610 type Work @default.
- W2040805610 sameAs 2040805610 @default.
- W2040805610 citedByCount "1" @default.
- W2040805610 crossrefType "journal-article" @default.
- W2040805610 hasAuthorship W2040805610A5003860948 @default.
- W2040805610 hasAuthorship W2040805610A5023776065 @default.
- W2040805610 hasAuthorship W2040805610A5036632328 @default.
- W2040805610 hasConcept C116253237 @default.
- W2040805610 hasConcept C169590947 @default.
- W2040805610 hasConcept C17435882 @default.
- W2040805610 hasConcept C184337299 @default.
- W2040805610 hasConcept C199360897 @default.
- W2040805610 hasConcept C201677973 @default.
- W2040805610 hasConcept C41008148 @default.
- W2040805610 hasConcept C55439883 @default.
- W2040805610 hasConceptScore W2040805610C116253237 @default.
- W2040805610 hasConceptScore W2040805610C169590947 @default.
- W2040805610 hasConceptScore W2040805610C17435882 @default.
- W2040805610 hasConceptScore W2040805610C184337299 @default.
- W2040805610 hasConceptScore W2040805610C199360897 @default.
- W2040805610 hasConceptScore W2040805610C201677973 @default.
- W2040805610 hasConceptScore W2040805610C41008148 @default.
- W2040805610 hasConceptScore W2040805610C55439883 @default.
- W2040805610 hasIssue "1-2" @default.
- W2040805610 hasLocation W20408056101 @default.
- W2040805610 hasOpenAccess W2040805610 @default.
- W2040805610 hasPrimaryLocation W20408056101 @default.
- W2040805610 hasRelatedWork W1482532369 @default.
- W2040805610 hasRelatedWork W1609108672 @default.
- W2040805610 hasRelatedWork W1874247119 @default.
- W2040805610 hasRelatedWork W1932279727 @default.
- W2040805610 hasRelatedWork W1963436944 @default.
- W2040805610 hasRelatedWork W2000183619 @default.
- W2040805610 hasRelatedWork W2009434827 @default.
- W2040805610 hasRelatedWork W2081867734 @default.
- W2040805610 hasRelatedWork W2093121316 @default.
- W2040805610 hasRelatedWork W2099740052 @default.
- W2040805610 hasRelatedWork W2121758369 @default.
- W2040805610 hasRelatedWork W2126297499 @default.
- W2040805610 hasRelatedWork W2160345626 @default.
- W2040805610 hasRelatedWork W2162992811 @default.
- W2040805610 hasRelatedWork W2290676045 @default.
- W2040805610 hasRelatedWork W2395239003 @default.
- W2040805610 hasRelatedWork W2515020773 @default.
- W2040805610 hasRelatedWork W2535835324 @default.
- W2040805610 hasRelatedWork W1577652768 @default.
- W2040805610 hasRelatedWork W2170753241 @default.
- W2040805610 hasVolume "5" @default.
- W2040805610 isParatext "false" @default.
- W2040805610 isRetracted "false" @default.
- W2040805610 magId "2040805610" @default.
- W2040805610 workType "article" @default.