Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090436214> ?p ?o ?g. }
- W2090436214 endingPage "64" @default.
- W2090436214 startingPage "49" @default.
- W2090436214 created "2016-06-24" @default.
- W2090436214 creator A5006626759 @default.
- W2090436214 creator A5016733090 @default.
- W2090436214 creator A5073408099 @default.
- W2090436214 date "2006-02-25" @default.
- W2090436214 modified "2023-09-25" @default.
- W2090436214 title "State-rich model checking" @default.
- W2090436214 cites W1481939332 @default.
- W2090436214 cites W1501405968 @default.
- W2090436214 cites W1503537039 @default.
- W2090436214 cites W1506588809 @default.
- W2090436214 cites W1507195521 @default.
- W2090436214 cites W1523442991 @default.
- W2090436214 cites W1532163655 @default.
- W2090436214 cites W1552280794 @default.
- W2090436214 cites W1560961201 @default.
- W2090436214 cites W1578560741 @default.
- W2090436214 cites W1581087217 @default.
- W2090436214 cites W1591022264 @default.
- W2090436214 cites W1594156945 @default.
- W2090436214 cites W1596365597 @default.
- W2090436214 cites W1702401680 @default.
- W2090436214 cites W1756958128 @default.
- W2090436214 cites W1814068099 @default.
- W2090436214 cites W183182932 @default.
- W2090436214 cites W1834186039 @default.
- W2090436214 cites W1863925939 @default.
- W2090436214 cites W1987407870 @default.
- W2090436214 cites W2008781243 @default.
- W2090436214 cites W2015640848 @default.
- W2090436214 cites W2024148935 @default.
- W2090436214 cites W2033263591 @default.
- W2090436214 cites W2038952689 @default.
- W2090436214 cites W2068361557 @default.
- W2090436214 cites W2080267935 @default.
- W2090436214 cites W2084875723 @default.
- W2090436214 cites W2099106391 @default.
- W2090436214 cites W2099120582 @default.
- W2090436214 cites W2114620376 @default.
- W2090436214 cites W2115309705 @default.
- W2090436214 cites W2116352900 @default.
- W2090436214 cites W2130025446 @default.
- W2090436214 cites W2140104995 @default.
- W2090436214 cites W2140191215 @default.
- W2090436214 cites W2144883917 @default.
- W2090436214 cites W2156226967 @default.
- W2090436214 cites W2159877500 @default.
- W2090436214 cites W2987907651 @default.
- W2090436214 cites W4213168192 @default.
- W2090436214 cites W4242177437 @default.
- W2090436214 cites W4246017475 @default.
- W2090436214 cites W4248830405 @default.
- W2090436214 cites W4253103663 @default.
- W2090436214 cites W4254354208 @default.
- W2090436214 cites W4296471858 @default.
- W2090436214 cites W4300021588 @default.
- W2090436214 doi "https://doi.org/10.1007/s11334-006-0021-9" @default.
- W2090436214 hasPublicationYear "2006" @default.
- W2090436214 type Work @default.
- W2090436214 sameAs 2090436214 @default.
- W2090436214 citedByCount "6" @default.
- W2090436214 countsByYear W20904362142013 @default.
- W2090436214 crossrefType "journal-article" @default.
- W2090436214 hasAuthorship W2090436214A5006626759 @default.
- W2090436214 hasAuthorship W2090436214A5016733090 @default.
- W2090436214 hasAuthorship W2090436214A5073408099 @default.
- W2090436214 hasConcept C110251889 @default.
- W2090436214 hasConcept C111498074 @default.
- W2090436214 hasConcept C115903868 @default.
- W2090436214 hasConcept C199360897 @default.
- W2090436214 hasConcept C206880738 @default.
- W2090436214 hasConcept C41008148 @default.
- W2090436214 hasConcept C48103436 @default.
- W2090436214 hasConcept C55439883 @default.
- W2090436214 hasConcept C75606506 @default.
- W2090436214 hasConcept C80444323 @default.
- W2090436214 hasConceptScore W2090436214C110251889 @default.
- W2090436214 hasConceptScore W2090436214C111498074 @default.
- W2090436214 hasConceptScore W2090436214C115903868 @default.
- W2090436214 hasConceptScore W2090436214C199360897 @default.
- W2090436214 hasConceptScore W2090436214C206880738 @default.
- W2090436214 hasConceptScore W2090436214C41008148 @default.
- W2090436214 hasConceptScore W2090436214C48103436 @default.
- W2090436214 hasConceptScore W2090436214C55439883 @default.
- W2090436214 hasConceptScore W2090436214C75606506 @default.
- W2090436214 hasConceptScore W2090436214C80444323 @default.
- W2090436214 hasIssue "1" @default.
- W2090436214 hasLocation W20904362141 @default.
- W2090436214 hasOpenAccess W2090436214 @default.
- W2090436214 hasPrimaryLocation W20904362141 @default.
- W2090436214 hasRelatedWork W1543208154 @default.
- W2090436214 hasRelatedWork W1601757209 @default.
- W2090436214 hasRelatedWork W1614816533 @default.
- W2090436214 hasRelatedWork W1903646270 @default.
- W2090436214 hasRelatedWork W2001092196 @default.
- W2090436214 hasRelatedWork W2120152919 @default.
- W2090436214 hasRelatedWork W2130433881 @default.
- W2090436214 hasRelatedWork W2477444687 @default.