Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041180772> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2041180772 endingPage "84" @default.
- W2041180772 startingPage "71" @default.
- W2041180772 abstract "Journal Article Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) Get access Ying Xu, Ying Xu Search for other works by this author on: Oxford Academic Google Scholar Xiaoyu Song, Xiaoyu Song Search for other works by this author on: Oxford Academic Google Scholar Eduard Cerny, Eduard Cerny Search for other works by this author on: Oxford Academic Google Scholar Otmane Ait Mohamed Otmane Ait Mohamed Search for other works by this author on: Oxford Academic Google Scholar The Computer Journal, Volume 47, Issue 1, 2004, Pages 71–84, https://doi.org/10.1093/comjnl/47.1.71 Published: 01 January 2004" @default.
- W2041180772 created "2016-06-24" @default.
- W2041180772 creator A5075489504 @default.
- W2041180772 date "2004-01-01" @default.
- W2041180772 modified "2023-09-25" @default.
- W2041180772 title "Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)" @default.
- W2041180772 cites W121208955 @default.
- W2041180772 cites W138292667 @default.
- W2041180772 cites W1494093576 @default.
- W2041180772 cites W1494257722 @default.
- W2041180772 cites W1515190954 @default.
- W2041180772 cites W1517173520 @default.
- W2041180772 cites W1529329471 @default.
- W2041180772 cites W1548587320 @default.
- W2041180772 cites W1564947547 @default.
- W2041180772 cites W1577504746 @default.
- W2041180772 cites W1577772892 @default.
- W2041180772 cites W1582320864 @default.
- W2041180772 cites W1590315663 @default.
- W2041180772 cites W1601250460 @default.
- W2041180772 cites W1605593319 @default.
- W2041180772 cites W1741528175 @default.
- W2041180772 cites W1898783984 @default.
- W2041180772 cites W1975657455 @default.
- W2041180772 cites W1977833242 @default.
- W2041180772 cites W2055289688 @default.
- W2041180772 cites W2061438988 @default.
- W2041180772 cites W2080267935 @default.
- W2041180772 cites W2114092850 @default.
- W2041180772 cites W2535114184 @default.
- W2041180772 cites W2539907235 @default.
- W2041180772 cites W2463501546 @default.
- W2041180772 doi "https://doi.org/10.1093/comjnl/47.1.71" @default.
- W2041180772 hasPublicationYear "2004" @default.
- W2041180772 type Work @default.
- W2041180772 sameAs 2041180772 @default.
- W2041180772 citedByCount "22" @default.
- W2041180772 countsByYear W20411807722012 @default.
- W2041180772 countsByYear W20411807722014 @default.
- W2041180772 countsByYear W20411807722017 @default.
- W2041180772 crossrefType "journal-article" @default.
- W2041180772 hasAuthorship W2041180772A5075489504 @default.
- W2041180772 hasConcept C10138342 @default.
- W2041180772 hasConcept C121332964 @default.
- W2041180772 hasConcept C154945302 @default.
- W2041180772 hasConcept C162324750 @default.
- W2041180772 hasConcept C182306322 @default.
- W2041180772 hasConcept C20556612 @default.
- W2041180772 hasConcept C23123220 @default.
- W2041180772 hasConcept C41008148 @default.
- W2041180772 hasConcept C62520636 @default.
- W2041180772 hasConceptScore W2041180772C10138342 @default.
- W2041180772 hasConceptScore W2041180772C121332964 @default.
- W2041180772 hasConceptScore W2041180772C154945302 @default.
- W2041180772 hasConceptScore W2041180772C162324750 @default.
- W2041180772 hasConceptScore W2041180772C182306322 @default.
- W2041180772 hasConceptScore W2041180772C20556612 @default.
- W2041180772 hasConceptScore W2041180772C23123220 @default.
- W2041180772 hasConceptScore W2041180772C41008148 @default.
- W2041180772 hasConceptScore W2041180772C62520636 @default.
- W2041180772 hasIssue "1" @default.
- W2041180772 hasLocation W20411807721 @default.
- W2041180772 hasOpenAccess W2041180772 @default.
- W2041180772 hasPrimaryLocation W20411807721 @default.
- W2041180772 hasRelatedWork W2086064646 @default.
- W2041180772 hasRelatedWork W2115485936 @default.
- W2041180772 hasRelatedWork W2119135658 @default.
- W2041180772 hasRelatedWork W2119214692 @default.
- W2041180772 hasRelatedWork W2146184373 @default.
- W2041180772 hasRelatedWork W2153015554 @default.
- W2041180772 hasRelatedWork W2357241418 @default.
- W2041180772 hasRelatedWork W2366644548 @default.
- W2041180772 hasRelatedWork W2376314740 @default.
- W2041180772 hasRelatedWork W2384888906 @default.
- W2041180772 hasVolume "47" @default.
- W2041180772 isParatext "false" @default.
- W2041180772 isRetracted "false" @default.
- W2041180772 magId "2041180772" @default.
- W2041180772 workType "article" @default.