Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893515460> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2893515460 created "2018-10-05" @default.
- W2893515460 creator A5011349515 @default.
- W2893515460 date "2007-06-04" @default.
- W2893515460 modified "2023-09-25" @default.
- W2893515460 title "Session details: Formal and semi-formal verification techniques" @default.
- W2893515460 doi "https://doi.org/10.1145/3255215" @default.
- W2893515460 hasPublicationYear "2007" @default.
- W2893515460 type Work @default.
- W2893515460 sameAs 2893515460 @default.
- W2893515460 citedByCount "0" @default.
- W2893515460 crossrefType "proceedings-article" @default.
- W2893515460 hasAuthorship W2893515460A5011349515 @default.
- W2893515460 hasConcept C111498074 @default.
- W2893515460 hasConcept C136764020 @default.
- W2893515460 hasConcept C199360897 @default.
- W2893515460 hasConcept C2779182362 @default.
- W2893515460 hasConcept C41008148 @default.
- W2893515460 hasConcept C75606506 @default.
- W2893515460 hasConceptScore W2893515460C111498074 @default.
- W2893515460 hasConceptScore W2893515460C136764020 @default.
- W2893515460 hasConceptScore W2893515460C199360897 @default.
- W2893515460 hasConceptScore W2893515460C2779182362 @default.
- W2893515460 hasConceptScore W2893515460C41008148 @default.
- W2893515460 hasConceptScore W2893515460C75606506 @default.
- W2893515460 hasLocation W28935154601 @default.
- W2893515460 hasOpenAccess W2893515460 @default.
- W2893515460 hasPrimaryLocation W28935154601 @default.
- W2893515460 hasRelatedWork W2500782055 @default.
- W2893515460 hasRelatedWork W2502972448 @default.
- W2893515460 hasRelatedWork W2911273612 @default.
- W2893515460 hasRelatedWork W2914186634 @default.
- W2893515460 hasRelatedWork W2914814364 @default.
- W2893515460 hasRelatedWork W2944883142 @default.
- W2893515460 hasRelatedWork W2978698050 @default.
- W2893515460 hasRelatedWork W2979343109 @default.
- W2893515460 hasRelatedWork W3014126134 @default.
- W2893515460 hasRelatedWork W3014564317 @default.
- W2893515460 hasRelatedWork W3112258347 @default.
- W2893515460 hasRelatedWork W3113065175 @default.
- W2893515460 hasRelatedWork W3113821154 @default.
- W2893515460 hasRelatedWork W3137086885 @default.
- W2893515460 hasRelatedWork W3137296183 @default.
- W2893515460 hasRelatedWork W3138827310 @default.
- W2893515460 hasRelatedWork W3138916113 @default.
- W2893515460 hasRelatedWork W3139345705 @default.
- W2893515460 hasRelatedWork W3139525140 @default.
- W2893515460 hasRelatedWork W2765407651 @default.
- W2893515460 isParatext "false" @default.
- W2893515460 isRetracted "false" @default.
- W2893515460 magId "2893515460" @default.
- W2893515460 workType "article" @default.