Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574161543> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1574161543 created "2016-06-24" @default.
- W1574161543 creator A5028747794 @default.
- W1574161543 creator A5053665575 @default.
- W1574161543 date "2007-01-01" @default.
- W1574161543 modified "2023-09-27" @default.
- W1574161543 title "Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings" @default.
- W1574161543 hasPublicationYear "2007" @default.
- W1574161543 type Work @default.
- W1574161543 sameAs 1574161543 @default.
- W1574161543 citedByCount "0" @default.
- W1574161543 crossrefType "book" @default.
- W1574161543 hasAuthorship W1574161543A5028747794 @default.
- W1574161543 hasAuthorship W1574161543A5053665575 @default.
- W1574161543 hasConcept C110251889 @default.
- W1574161543 hasConcept C111498074 @default.
- W1574161543 hasConcept C136764020 @default.
- W1574161543 hasConcept C142284323 @default.
- W1574161543 hasConcept C149091818 @default.
- W1574161543 hasConcept C15524039 @default.
- W1574161543 hasConcept C168702491 @default.
- W1574161543 hasConcept C186846655 @default.
- W1574161543 hasConcept C199360897 @default.
- W1574161543 hasConcept C202973057 @default.
- W1574161543 hasConcept C2777904410 @default.
- W1574161543 hasConcept C2779182362 @default.
- W1574161543 hasConcept C2779639559 @default.
- W1574161543 hasConcept C33054407 @default.
- W1574161543 hasConcept C3406870 @default.
- W1574161543 hasConcept C41008148 @default.
- W1574161543 hasConcept C548217200 @default.
- W1574161543 hasConcept C60945770 @default.
- W1574161543 hasConcept C62460635 @default.
- W1574161543 hasConcept C75606506 @default.
- W1574161543 hasConceptScore W1574161543C110251889 @default.
- W1574161543 hasConceptScore W1574161543C111498074 @default.
- W1574161543 hasConceptScore W1574161543C136764020 @default.
- W1574161543 hasConceptScore W1574161543C142284323 @default.
- W1574161543 hasConceptScore W1574161543C149091818 @default.
- W1574161543 hasConceptScore W1574161543C15524039 @default.
- W1574161543 hasConceptScore W1574161543C168702491 @default.
- W1574161543 hasConceptScore W1574161543C186846655 @default.
- W1574161543 hasConceptScore W1574161543C199360897 @default.
- W1574161543 hasConceptScore W1574161543C202973057 @default.
- W1574161543 hasConceptScore W1574161543C2777904410 @default.
- W1574161543 hasConceptScore W1574161543C2779182362 @default.
- W1574161543 hasConceptScore W1574161543C2779639559 @default.
- W1574161543 hasConceptScore W1574161543C33054407 @default.
- W1574161543 hasConceptScore W1574161543C3406870 @default.
- W1574161543 hasConceptScore W1574161543C41008148 @default.
- W1574161543 hasConceptScore W1574161543C548217200 @default.
- W1574161543 hasConceptScore W1574161543C60945770 @default.
- W1574161543 hasConceptScore W1574161543C62460635 @default.
- W1574161543 hasConceptScore W1574161543C75606506 @default.
- W1574161543 hasLocation W15741615431 @default.
- W1574161543 hasOpenAccess W1574161543 @default.
- W1574161543 hasPrimaryLocation W15741615431 @default.
- W1574161543 hasRelatedWork W1480105416 @default.
- W1574161543 hasRelatedWork W1496424806 @default.
- W1574161543 hasRelatedWork W1499715382 @default.
- W1574161543 hasRelatedWork W1509209269 @default.
- W1574161543 hasRelatedWork W1516288898 @default.
- W1574161543 hasRelatedWork W1517959189 @default.
- W1574161543 hasRelatedWork W1531715720 @default.
- W1574161543 hasRelatedWork W1541174442 @default.
- W1574161543 hasRelatedWork W1541426137 @default.
- W1574161543 hasRelatedWork W1558598345 @default.
- W1574161543 hasRelatedWork W1562560640 @default.
- W1574161543 hasRelatedWork W1563202346 @default.
- W1574161543 hasRelatedWork W1575138043 @default.
- W1574161543 hasRelatedWork W1582717179 @default.
- W1574161543 hasRelatedWork W1582868218 @default.
- W1574161543 hasRelatedWork W1584581609 @default.
- W1574161543 hasRelatedWork W1593793497 @default.
- W1574161543 hasRelatedWork W1594910637 @default.
- W1574161543 hasRelatedWork W255025080 @default.
- W1574161543 hasRelatedWork W73549669 @default.
- W1574161543 isParatext "false" @default.
- W1574161543 isRetracted "false" @default.
- W1574161543 magId "1574161543" @default.
- W1574161543 workType "book" @default.