SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±106 with 100 items per page.

W63992065 endingPage "226" @default.
W63992065 startingPage "208" @default.
W63992065 created "2016-06-24" @default.
W63992065 creator A5022049158 @default.
W63992065 creator A5023859791 @default.
W63992065 creator A5066163166 @default.
W63992065 creator A5085975362 @default.
W63992065 date "2012-01-01" @default.
W63992065 modified "2023-09-27" @default.
W63992065 title "Parameterized Model Checking of Fine Grained Concurrency" @default.
W63992065 cites W1495128589 @default.
W63992065 cites W1520380662 @default.
W63992065 cites W1527710292 @default.
W63992065 cites W1547100201 @default.
W63992065 cites W1553228708 @default.
W63992065 cites W1594023774 @default.
W63992065 cites W1600923511 @default.
W63992065 cites W1819989006 @default.
W63992065 cites W1879996931 @default.
W63992065 cites W1919495026 @default.
W63992065 cites W2056366613 @default.
W63992065 cites W2101939036 @default.
W63992065 cites W2110908283 @default.
W63992065 cites W2138927523 @default.
W63992065 cites W2148392844 @default.
W63992065 cites W2150358039 @default.
W63992065 cites W2159392969 @default.
W63992065 cites W2166423938 @default.
W63992065 cites W2166580349 @default.
W63992065 cites W71333976 @default.
W63992065 doi "https://doi.org/10.1007/978-3-642-31759-0_15" @default.
W63992065 hasPublicationYear "2012" @default.
W63992065 type Work @default.
W63992065 sameAs 63992065 @default.
W63992065 citedByCount "3" @default.
W63992065 countsByYear W639920652013 @default.
W63992065 countsByYear W639920652015 @default.
W63992065 countsByYear W639920652016 @default.
W63992065 crossrefType "book-chapter" @default.
W63992065 hasAuthorship W63992065A5022049158 @default.
W63992065 hasAuthorship W63992065A5023859791 @default.
W63992065 hasAuthorship W63992065A5066163166 @default.
W63992065 hasAuthorship W63992065A5085975362 @default.
W63992065 hasConcept C110251889 @default.
W63992065 hasConcept C111472728 @default.
W63992065 hasConcept C11413529 @default.
W63992065 hasConcept C115537543 @default.
W63992065 hasConcept C120314980 @default.
W63992065 hasConcept C124304363 @default.
W63992065 hasConcept C127162648 @default.
W63992065 hasConcept C138101251 @default.
W63992065 hasConcept C138885662 @default.
W63992065 hasConcept C141917322 @default.
W63992065 hasConcept C162319229 @default.
W63992065 hasConcept C165464430 @default.
W63992065 hasConcept C173608175 @default.
W63992065 hasConcept C189783530 @default.
W63992065 hasConcept C193702766 @default.
W63992065 hasConcept C199360897 @default.
W63992065 hasConcept C203222032 @default.
W63992065 hasConcept C2778562939 @default.
W63992065 hasConcept C31258907 @default.
W63992065 hasConcept C38556500 @default.
W63992065 hasConcept C41008148 @default.
W63992065 hasConcept C548217200 @default.
W63992065 hasConcept C80444323 @default.
W63992065 hasConceptScore W63992065C110251889 @default.
W63992065 hasConceptScore W63992065C111472728 @default.
W63992065 hasConceptScore W63992065C11413529 @default.
W63992065 hasConceptScore W63992065C115537543 @default.
W63992065 hasConceptScore W63992065C120314980 @default.
W63992065 hasConceptScore W63992065C124304363 @default.
W63992065 hasConceptScore W63992065C127162648 @default.
W63992065 hasConceptScore W63992065C138101251 @default.
W63992065 hasConceptScore W63992065C138885662 @default.
W63992065 hasConceptScore W63992065C141917322 @default.
W63992065 hasConceptScore W63992065C162319229 @default.
W63992065 hasConceptScore W63992065C165464430 @default.
W63992065 hasConceptScore W63992065C173608175 @default.
W63992065 hasConceptScore W63992065C189783530 @default.
W63992065 hasConceptScore W63992065C193702766 @default.
W63992065 hasConceptScore W63992065C199360897 @default.
W63992065 hasConceptScore W63992065C203222032 @default.
W63992065 hasConceptScore W63992065C2778562939 @default.
W63992065 hasConceptScore W63992065C31258907 @default.
W63992065 hasConceptScore W63992065C38556500 @default.
W63992065 hasConceptScore W63992065C41008148 @default.
W63992065 hasConceptScore W63992065C548217200 @default.
W63992065 hasConceptScore W63992065C80444323 @default.
W63992065 hasLocation W639920651 @default.
W63992065 hasOpenAccess W63992065 @default.
W63992065 hasPrimaryLocation W639920651 @default.
W63992065 hasRelatedWork W1579918296 @default.
W63992065 hasRelatedWork W1686257886 @default.
W63992065 hasRelatedWork W2067840450 @default.
W63992065 hasRelatedWork W2364147724 @default.
W63992065 hasRelatedWork W2529479135 @default.
W63992065 hasRelatedWork W295290875 @default.
W63992065 hasRelatedWork W4226184165 @default.
W63992065 hasRelatedWork W4226336711 @default.