Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214434663> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3214434663 created "2021-11-22" @default.
- W3214434663 creator A5015799790 @default.
- W3214434663 creator A5054154442 @default.
- W3214434663 creator A5062907575 @default.
- W3214434663 date "2021-12-06" @default.
- W3214434663 modified "2023-09-24" @default.
- W3214434663 title "Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines" @default.
- W3214434663 hasPublicationYear "2021" @default.
- W3214434663 type Work @default.
- W3214434663 sameAs 3214434663 @default.
- W3214434663 citedByCount "0" @default.
- W3214434663 crossrefType "journal-article" @default.
- W3214434663 hasAuthorship W3214434663A5015799790 @default.
- W3214434663 hasAuthorship W3214434663A5054154442 @default.
- W3214434663 hasAuthorship W3214434663A5062907575 @default.
- W3214434663 hasConcept C110251889 @default.
- W3214434663 hasConcept C199360897 @default.
- W3214434663 hasConcept C33923547 @default.
- W3214434663 hasConcept C41008148 @default.
- W3214434663 hasConcept C48103436 @default.
- W3214434663 hasConcept C80444323 @default.
- W3214434663 hasConceptScore W3214434663C110251889 @default.
- W3214434663 hasConceptScore W3214434663C199360897 @default.
- W3214434663 hasConceptScore W3214434663C33923547 @default.
- W3214434663 hasConceptScore W3214434663C41008148 @default.
- W3214434663 hasConceptScore W3214434663C48103436 @default.
- W3214434663 hasConceptScore W3214434663C80444323 @default.
- W3214434663 hasLocation W32144346631 @default.
- W3214434663 hasOpenAccess W3214434663 @default.
- W3214434663 hasPrimaryLocation W32144346631 @default.
- W3214434663 hasRelatedWork W118943240 @default.
- W3214434663 hasRelatedWork W1501346358 @default.
- W3214434663 hasRelatedWork W1525907025 @default.
- W3214434663 hasRelatedWork W1528538718 @default.
- W3214434663 hasRelatedWork W1539201627 @default.
- W3214434663 hasRelatedWork W1541426137 @default.
- W3214434663 hasRelatedWork W1548768164 @default.
- W3214434663 hasRelatedWork W1586497944 @default.
- W3214434663 hasRelatedWork W1593793497 @default.
- W3214434663 hasRelatedWork W173753855 @default.
- W3214434663 hasRelatedWork W2090297389 @default.
- W3214434663 hasRelatedWork W2135108322 @default.
- W3214434663 hasRelatedWork W2151670874 @default.
- W3214434663 hasRelatedWork W2157127957 @default.
- W3214434663 hasRelatedWork W2293633976 @default.
- W3214434663 hasRelatedWork W2357906634 @default.
- W3214434663 hasRelatedWork W2410661366 @default.
- W3214434663 hasRelatedWork W2605158515 @default.
- W3214434663 hasRelatedWork W2885922873 @default.
- W3214434663 hasRelatedWork W3141316173 @default.
- W3214434663 isParatext "false" @default.
- W3214434663 isRetracted "false" @default.
- W3214434663 magId "3214434663" @default.
- W3214434663 workType "article" @default.