Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602312839> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1602312839 created "2016-06-24" @default.
- W1602312839 creator A5036098280 @default.
- W1602312839 creator A5078808456 @default.
- W1602312839 date "2004-01-01" @default.
- W1602312839 modified "2023-09-24" @default.
- W1602312839 title "Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings" @default.
- W1602312839 hasPublicationYear "2004" @default.
- W1602312839 type Work @default.
- W1602312839 sameAs 1602312839 @default.
- W1602312839 citedByCount "0" @default.
- W1602312839 crossrefType "book" @default.
- W1602312839 hasAuthorship W1602312839A5036098280 @default.
- W1602312839 hasAuthorship W1602312839A5078808456 @default.
- W1602312839 hasConcept C110251889 @default.
- W1602312839 hasConcept C111498074 @default.
- W1602312839 hasConcept C199360897 @default.
- W1602312839 hasConcept C206880738 @default.
- W1602312839 hasConcept C2779907942 @default.
- W1602312839 hasConcept C2780654840 @default.
- W1602312839 hasConcept C30888246 @default.
- W1602312839 hasConcept C41008148 @default.
- W1602312839 hasConcept C80444323 @default.
- W1602312839 hasConceptScore W1602312839C110251889 @default.
- W1602312839 hasConceptScore W1602312839C111498074 @default.
- W1602312839 hasConceptScore W1602312839C199360897 @default.
- W1602312839 hasConceptScore W1602312839C206880738 @default.
- W1602312839 hasConceptScore W1602312839C2779907942 @default.
- W1602312839 hasConceptScore W1602312839C2780654840 @default.
- W1602312839 hasConceptScore W1602312839C30888246 @default.
- W1602312839 hasConceptScore W1602312839C41008148 @default.
- W1602312839 hasConceptScore W1602312839C80444323 @default.
- W1602312839 hasLocation W16023128391 @default.
- W1602312839 hasOpenAccess W1602312839 @default.
- W1602312839 hasPrimaryLocation W16023128391 @default.
- W1602312839 hasRelatedWork W1480105416 @default.
- W1602312839 hasRelatedWork W1489469477 @default.
- W1602312839 hasRelatedWork W1496424806 @default.
- W1602312839 hasRelatedWork W1501346358 @default.
- W1602312839 hasRelatedWork W1533614631 @default.
- W1602312839 hasRelatedWork W1539201627 @default.
- W1602312839 hasRelatedWork W1541174442 @default.
- W1602312839 hasRelatedWork W1547517160 @default.
- W1602312839 hasRelatedWork W1548768164 @default.
- W1602312839 hasRelatedWork W1558199937 @default.
- W1602312839 hasRelatedWork W1565193401 @default.
- W1602312839 hasRelatedWork W1575764074 @default.
- W1602312839 hasRelatedWork W1582717179 @default.
- W1602312839 hasRelatedWork W1582868218 @default.
- W1602312839 hasRelatedWork W1593793497 @default.
- W1602312839 hasRelatedWork W1600796815 @default.
- W1602312839 hasRelatedWork W2075107640 @default.
- W1602312839 hasRelatedWork W237132587 @default.
- W1602312839 hasRelatedWork W255025080 @default.
- W1602312839 hasRelatedWork W2915378562 @default.
- W1602312839 isParatext "false" @default.
- W1602312839 isRetracted "false" @default.
- W1602312839 magId "1602312839" @default.
- W1602312839 workType "book" @default.