FRINK Linked Data Fragments server

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

• W2036945707 created "2016-06-24" @default.
• W2036945707 creator A5020718618 @default.
• W2036945707 creator A5043816306 @default.
• W2036945707 creator A5087024003 @default.
• W2036945707 date "1994-05-01" @default.
• W2036945707 modified "2023-09-23" @default.
• W2036945707 title "An exercise in the automatic verification of asynchronous designs" @default.
• W2036945707 cites W1491037212 @default.
• W2036945707 cites W1525749267 @default.
• W2036945707 cites W1598591924 @default.
• W2036945707 cites W1767576284 @default.
• W2036945707 cites W2021473546 @default.
• W2036945707 cites W2080267935 @default.
• W2036945707 cites W2085912345 @default.
• W2036945707 cites W2106525646 @default.
• W2036945707 cites W2141137698 @default.
• W2036945707 cites W2156956883 @default.
• W2036945707 cites W2157144873 @default.
• W2036945707 cites W4231905827 @default.
• W2036945707 cites W4234513283 @default.
• W2036945707 doi "https://doi.org/10.1007/bf01384047" @default.
• W2036945707 hasPublicationYear "1994" @default.
• W2036945707 type Work @default.
• W2036945707 sameAs 2036945707 @default.
• W2036945707 citedByCount "14" @default.
• W2036945707 countsByYear W20369457072020 @default.
• W2036945707 crossrefType "journal-article" @default.
• W2036945707 hasAuthorship W2036945707A5020718618 @default.
• W2036945707 hasAuthorship W2036945707A5043816306 @default.
• W2036945707 hasAuthorship W2036945707A5087024003 @default.
• W2036945707 hasConcept C110251889 @default.
• W2036945707 hasConcept C111498074 @default.
• W2036945707 hasConcept C11413529 @default.
• W2036945707 hasConcept C118524514 @default.
• W2036945707 hasConcept C131017901 @default.
• W2036945707 hasConcept C134652429 @default.
• W2036945707 hasConcept C137059387 @default.
• W2036945707 hasConcept C151319957 @default.
• W2036945707 hasConcept C157922185 @default.
• W2036945707 hasConcept C186846655 @default.
• W2036945707 hasConcept C187250869 @default.
• W2036945707 hasConcept C199360897 @default.
• W2036945707 hasConcept C2777904410 @default.
• W2036945707 hasConcept C31258907 @default.
• W2036945707 hasConcept C3406870 @default.
• W2036945707 hasConcept C41008148 @default.
• W2036945707 hasConcept C42196554 @default.
• W2036945707 hasConcept C529173508 @default.
• W2036945707 hasConcept C62460635 @default.
• W2036945707 hasConcept C76155785 @default.
• W2036945707 hasConcept C7923308 @default.
• W2036945707 hasConcept C87695204 @default.
• W2036945707 hasConceptScore W2036945707C110251889 @default.
• W2036945707 hasConceptScore W2036945707C111498074 @default.
• W2036945707 hasConceptScore W2036945707C11413529 @default.
• W2036945707 hasConceptScore W2036945707C118524514 @default.
• W2036945707 hasConceptScore W2036945707C131017901 @default.
• W2036945707 hasConceptScore W2036945707C134652429 @default.
• W2036945707 hasConceptScore W2036945707C137059387 @default.
• W2036945707 hasConceptScore W2036945707C151319957 @default.
• W2036945707 hasConceptScore W2036945707C157922185 @default.
• W2036945707 hasConceptScore W2036945707C186846655 @default.
• W2036945707 hasConceptScore W2036945707C187250869 @default.
• W2036945707 hasConceptScore W2036945707C199360897 @default.
• W2036945707 hasConceptScore W2036945707C2777904410 @default.
• W2036945707 hasConceptScore W2036945707C31258907 @default.
• W2036945707 hasConceptScore W2036945707C3406870 @default.
• W2036945707 hasConceptScore W2036945707C41008148 @default.
• W2036945707 hasConceptScore W2036945707C42196554 @default.
• W2036945707 hasConceptScore W2036945707C529173508 @default.
• W2036945707 hasConceptScore W2036945707C62460635 @default.
• W2036945707 hasConceptScore W2036945707C76155785 @default.
• W2036945707 hasConceptScore W2036945707C7923308 @default.
• W2036945707 hasConceptScore W2036945707C87695204 @default.
• W2036945707 hasLocation W20369457071 @default.
• W2036945707 hasOpenAccess W2036945707 @default.
• W2036945707 hasPrimaryLocation W20369457071 @default.
• W2036945707 hasRelatedWork W1503973138 @default.
• W2036945707 hasRelatedWork W1578754560 @default.
• W2036945707 hasRelatedWork W1585683930 @default.
• W2036945707 hasRelatedWork W2016657094 @default.
• W2036945707 hasRelatedWork W2021151473 @default.
• W2036945707 hasRelatedWork W2096172098 @default.
• W2036945707 hasRelatedWork W2096336201 @default.
• W2036945707 hasRelatedWork W2106507440 @default.
• W2036945707 hasRelatedWork W2106525646 @default.
• W2036945707 hasRelatedWork W2118572231 @default.
• W2036945707 hasRelatedWork W2121372686 @default.
• W2036945707 hasRelatedWork W2125353931 @default.
• W2036945707 hasRelatedWork W2128866814 @default.
• W2036945707 hasRelatedWork W2152691384 @default.
• W2036945707 hasRelatedWork W2162615969 @default.
• W2036945707 hasRelatedWork W2168362805 @default.
• W2036945707 hasRelatedWork W2169508015 @default.
• W2036945707 hasRelatedWork W2509521284 @default.
• W2036945707 hasRelatedWork W2542209384 @default.
• W2036945707 hasRelatedWork W2749272025 @default.
• W2036945707 isParatext "false" @default.
• W2036945707 isRetracted "false" @default.
• W2036945707 magId "2036945707" @default.

• next