Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312247144> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4312247144 endingPage "230" @default.
- W4312247144 startingPage "225" @default.
- W4312247144 created "2023-01-04" @default.
- W4312247144 creator A5009728620 @default.
- W4312247144 creator A5022227334 @default.
- W4312247144 creator A5028307375 @default.
- W4312247144 creator A5066080641 @default.
- W4312247144 date "2022-01-01" @default.
- W4312247144 modified "2023-10-18" @default.
- W4312247144 title "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems" @default.
- W4312247144 cites W1536303350 @default.
- W4312247144 cites W1560595963 @default.
- W4312247144 cites W1589224558 @default.
- W4312247144 cites W1648568813 @default.
- W4312247144 cites W1905205673 @default.
- W4312247144 cites W2099205674 @default.
- W4312247144 cites W2793193452 @default.
- W4312247144 cites W2930019028 @default.
- W4312247144 cites W3108378780 @default.
- W4312247144 cites W3206316501 @default.
- W4312247144 cites W4244831445 @default.
- W4312247144 cites W4249819097 @default.
- W4312247144 doi "https://doi.org/10.1007/978-3-031-19992-9_14" @default.
- W4312247144 hasPublicationYear "2022" @default.
- W4312247144 type Work @default.
- W4312247144 citedByCount "0" @default.
- W4312247144 crossrefType "book-chapter" @default.
- W4312247144 hasAuthorship W4312247144A5009728620 @default.
- W4312247144 hasAuthorship W4312247144A5022227334 @default.
- W4312247144 hasAuthorship W4312247144A5028307375 @default.
- W4312247144 hasAuthorship W4312247144A5066080641 @default.
- W4312247144 hasConcept C110251889 @default.
- W4312247144 hasConcept C111919701 @default.
- W4312247144 hasConcept C136643341 @default.
- W4312247144 hasConcept C138885662 @default.
- W4312247144 hasConcept C167822520 @default.
- W4312247144 hasConcept C199360897 @default.
- W4312247144 hasConcept C2777904410 @default.
- W4312247144 hasConcept C2780416260 @default.
- W4312247144 hasConcept C41008148 @default.
- W4312247144 hasConcept C41895202 @default.
- W4312247144 hasConcept C48103436 @default.
- W4312247144 hasConcept C68339613 @default.
- W4312247144 hasConcept C75291252 @default.
- W4312247144 hasConcept C77944639 @default.
- W4312247144 hasConcept C80444323 @default.
- W4312247144 hasConceptScore W4312247144C110251889 @default.
- W4312247144 hasConceptScore W4312247144C111919701 @default.
- W4312247144 hasConceptScore W4312247144C136643341 @default.
- W4312247144 hasConceptScore W4312247144C138885662 @default.
- W4312247144 hasConceptScore W4312247144C167822520 @default.
- W4312247144 hasConceptScore W4312247144C199360897 @default.
- W4312247144 hasConceptScore W4312247144C2777904410 @default.
- W4312247144 hasConceptScore W4312247144C2780416260 @default.
- W4312247144 hasConceptScore W4312247144C41008148 @default.
- W4312247144 hasConceptScore W4312247144C41895202 @default.
- W4312247144 hasConceptScore W4312247144C48103436 @default.
- W4312247144 hasConceptScore W4312247144C68339613 @default.
- W4312247144 hasConceptScore W4312247144C75291252 @default.
- W4312247144 hasConceptScore W4312247144C77944639 @default.
- W4312247144 hasConceptScore W4312247144C80444323 @default.
- W4312247144 hasLocation W43122471441 @default.
- W4312247144 hasOpenAccess W4312247144 @default.
- W4312247144 hasPrimaryLocation W43122471441 @default.
- W4312247144 hasRelatedWork W1593469353 @default.
- W4312247144 hasRelatedWork W1828532377 @default.
- W4312247144 hasRelatedWork W2118465540 @default.
- W4312247144 hasRelatedWork W2281921707 @default.
- W4312247144 hasRelatedWork W2761734916 @default.
- W4312247144 hasRelatedWork W374648105 @default.
- W4312247144 hasRelatedWork W4300163689 @default.
- W4312247144 hasRelatedWork W4312247144 @default.
- W4312247144 hasRelatedWork W89384568 @default.
- W4312247144 hasRelatedWork W2611645213 @default.
- W4312247144 isParatext "false" @default.
- W4312247144 isRetracted "false" @default.
- W4312247144 workType "book-chapter" @default.