Matches in SemOpenAlex for { <https://semopenalex.org/work/W395998220> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W395998220 endingPage "1497" @default.
- W395998220 startingPage "1487" @default.
- W395998220 created "2016-06-24" @default.
- W395998220 creator A5016890045 @default.
- W395998220 creator A5036452970 @default.
- W395998220 date "1995-11-25" @default.
- W395998220 modified "2023-09-27" @default.
- W395998220 title "Practical Program Validation for State-Based Reactive Concurrent Systems-Harmonization of Simulation and Verification-" @default.
- W395998220 hasPublicationYear "1995" @default.
- W395998220 type Work @default.
- W395998220 sameAs 395998220 @default.
- W395998220 citedByCount "2" @default.
- W395998220 crossrefType "journal-article" @default.
- W395998220 hasAuthorship W395998220A5016890045 @default.
- W395998220 hasAuthorship W395998220A5036452970 @default.
- W395998220 hasConcept C115903868 @default.
- W395998220 hasConcept C121332964 @default.
- W395998220 hasConcept C127413603 @default.
- W395998220 hasConcept C199360897 @default.
- W395998220 hasConcept C201995342 @default.
- W395998220 hasConcept C21547014 @default.
- W395998220 hasConcept C24890656 @default.
- W395998220 hasConcept C2779962950 @default.
- W395998220 hasConcept C41008148 @default.
- W395998220 hasConcept C48002344 @default.
- W395998220 hasConcept C48103436 @default.
- W395998220 hasConceptScore W395998220C115903868 @default.
- W395998220 hasConceptScore W395998220C121332964 @default.
- W395998220 hasConceptScore W395998220C127413603 @default.
- W395998220 hasConceptScore W395998220C199360897 @default.
- W395998220 hasConceptScore W395998220C201995342 @default.
- W395998220 hasConceptScore W395998220C21547014 @default.
- W395998220 hasConceptScore W395998220C24890656 @default.
- W395998220 hasConceptScore W395998220C2779962950 @default.
- W395998220 hasConceptScore W395998220C41008148 @default.
- W395998220 hasConceptScore W395998220C48002344 @default.
- W395998220 hasConceptScore W395998220C48103436 @default.
- W395998220 hasIssue "11" @default.
- W395998220 hasLocation W3959982201 @default.
- W395998220 hasOpenAccess W395998220 @default.
- W395998220 hasPrimaryLocation W3959982201 @default.
- W395998220 hasRelatedWork W1235034260 @default.
- W395998220 hasRelatedWork W139839758 @default.
- W395998220 hasRelatedWork W1611636308 @default.
- W395998220 hasRelatedWork W165565703 @default.
- W395998220 hasRelatedWork W1988027993 @default.
- W395998220 hasRelatedWork W2037121848 @default.
- W395998220 hasRelatedWork W2068896853 @default.
- W395998220 hasRelatedWork W2093709900 @default.
- W395998220 hasRelatedWork W2130851407 @default.
- W395998220 hasRelatedWork W2149716943 @default.
- W395998220 hasRelatedWork W2257353559 @default.
- W395998220 hasRelatedWork W2354470518 @default.
- W395998220 hasRelatedWork W2893747529 @default.
- W395998220 hasRelatedWork W2903191856 @default.
- W395998220 hasRelatedWork W2948272708 @default.
- W395998220 hasRelatedWork W2963442807 @default.
- W395998220 hasRelatedWork W3040384953 @default.
- W395998220 hasRelatedWork W646792496 @default.
- W395998220 hasRelatedWork W2526106663 @default.
- W395998220 hasRelatedWork W3201452139 @default.
- W395998220 hasVolume "78" @default.
- W395998220 isParatext "false" @default.
- W395998220 isRetracted "false" @default.
- W395998220 magId "395998220" @default.
- W395998220 workType "article" @default.