Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254889033> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- W4254889033 endingPage "322" @default.
- W4254889033 startingPage "322" @default.
- W4254889033 created "2022-05-12" @default.
- W4254889033 creator A5069529789 @default.
- W4254889033 date "2008-01-01" @default.
- W4254889033 modified "2023-09-24" @default.
- W4254889033 title "Formal Methods" @default.
- W4254889033 doi "https://doi.org/10.1007/978-0-387-30162-4_147" @default.
- W4254889033 hasPublicationYear "2008" @default.
- W4254889033 type Work @default.
- W4254889033 citedByCount "0" @default.
- W4254889033 crossrefType "book-chapter" @default.
- W4254889033 hasAuthorship W4254889033A5069529789 @default.
- W4254889033 hasConcept C39432304 @default.
- W4254889033 hasConceptScore W4254889033C39432304 @default.
- W4254889033 hasLocation W42548890331 @default.
- W4254889033 hasOpenAccess W4254889033 @default.
- W4254889033 hasPrimaryLocation W42548890331 @default.
- W4254889033 hasRelatedWork W1596801655 @default.
- W4254889033 hasRelatedWork W1972437902 @default.
- W4254889033 hasRelatedWork W2358668433 @default.
- W4254889033 hasRelatedWork W2373011076 @default.
- W4254889033 hasRelatedWork W2376932109 @default.
- W4254889033 hasRelatedWork W2387147530 @default.
- W4254889033 hasRelatedWork W2390279801 @default.
- W4254889033 hasRelatedWork W2688602461 @default.
- W4254889033 hasRelatedWork W2748952813 @default.
- W4254889033 hasRelatedWork W2899084033 @default.
- W4254889033 isParatext "false" @default.
- W4254889033 isRetracted "false" @default.
- W4254889033 workType "book-chapter" @default.