Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617771285> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2617771285 abstract "This paper provides a comprehensive summary of equivalencechecking results for infinite-state systems. References to therelevant papers will be updated continuously according to thedevelopment in the area. The most recent version of thisdocument is available from the web-pagehttp://www.brics.dk/~srba/roadmap." @default.
- W2617771285 created "2017-06-05" @default.
- W2617771285 creator A5009728620 @default.
- W2617771285 date "2004-01-01" @default.
- W2617771285 modified "2023-10-18" @default.
- W2617771285 title "Roadmap of Infinite Results" @default.
- W2617771285 hasPublicationYear "2004" @default.
- W2617771285 type Work @default.
- W2617771285 sameAs 2617771285 @default.
- W2617771285 citedByCount "7" @default.
- W2617771285 countsByYear W26177712852013 @default.
- W2617771285 countsByYear W26177712852014 @default.
- W2617771285 countsByYear W26177712852015 @default.
- W2617771285 countsByYear W26177712852019 @default.
- W2617771285 crossrefType "journal-article" @default.
- W2617771285 hasAuthorship W2617771285A5009728620 @default.
- W2617771285 hasConcept C136764020 @default.
- W2617771285 hasConcept C23123220 @default.
- W2617771285 hasConcept C2522767166 @default.
- W2617771285 hasConcept C41008148 @default.
- W2617771285 hasConceptScore W2617771285C136764020 @default.
- W2617771285 hasConceptScore W2617771285C23123220 @default.
- W2617771285 hasConceptScore W2617771285C2522767166 @default.
- W2617771285 hasConceptScore W2617771285C41008148 @default.
- W2617771285 hasIssue "1" @default.
- W2617771285 hasLocation W26177712851 @default.
- W2617771285 hasOpenAccess W2617771285 @default.
- W2617771285 hasPrimaryLocation W26177712851 @default.
- W2617771285 hasRelatedWork W1503973138 @default.
- W2617771285 hasRelatedWork W1532207056 @default.
- W2617771285 hasRelatedWork W1555553717 @default.
- W2617771285 hasRelatedWork W1582292473 @default.
- W2617771285 hasRelatedWork W1589421353 @default.
- W2617771285 hasRelatedWork W1607820520 @default.
- W2617771285 hasRelatedWork W1965551437 @default.
- W2617771285 hasRelatedWork W1998608869 @default.
- W2617771285 hasRelatedWork W2006265470 @default.
- W2617771285 hasRelatedWork W2012140001 @default.
- W2617771285 hasRelatedWork W2018817970 @default.
- W2617771285 hasRelatedWork W2022264236 @default.
- W2617771285 hasRelatedWork W2051521505 @default.
- W2617771285 hasRelatedWork W2064514470 @default.
- W2617771285 hasRelatedWork W2067785662 @default.
- W2617771285 hasRelatedWork W2109548990 @default.
- W2617771285 hasRelatedWork W2111753126 @default.
- W2617771285 hasRelatedWork W2142944765 @default.
- W2617771285 hasRelatedWork W2154625854 @default.
- W2617771285 hasRelatedWork W63532070 @default.
- W2617771285 hasVolume "2" @default.
- W2617771285 isParatext "false" @default.
- W2617771285 isRetracted "false" @default.
- W2617771285 magId "2617771285" @default.
- W2617771285 workType "article" @default.