Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601076104> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1601076104 abstract "From 14/10/2007 to 19/10/2007, the Dagstuhl Seminar 07421 ``Formal Protocol Verification Applied'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.During the seminar, several participants presented their currentresearch, and ongoing work and open problems were discussed. Abstracts ofthe presentations given during the seminar as well as abstracts ofseminar results and ideas are put together in this paper. The first sectiondescribes the seminar topics and goals in general.Links to extended abstracts or full papers are provided, if available." @default.
- W1601076104 created "2016-06-24" @default.
- W1601076104 creator A5029042665 @default.
- W1601076104 creator A5055690957 @default.
- W1601076104 creator A5085316790 @default.
- W1601076104 date "2007-01-01" @default.
- W1601076104 modified "2023-09-23" @default.
- W1601076104 title "07421 Abstracts Collection -- Formal Protocol Verification Applied." @default.
- W1601076104 hasPublicationYear "2007" @default.
- W1601076104 type Work @default.
- W1601076104 sameAs 1601076104 @default.
- W1601076104 citedByCount "0" @default.
- W1601076104 crossrefType "journal-article" @default.
- W1601076104 hasAuthorship W1601076104A5029042665 @default.
- W1601076104 hasAuthorship W1601076104A5055690957 @default.
- W1601076104 hasAuthorship W1601076104A5085316790 @default.
- W1601076104 hasConcept C111919701 @default.
- W1601076104 hasConcept C115903868 @default.
- W1601076104 hasConcept C142724271 @default.
- W1601076104 hasConcept C161191863 @default.
- W1601076104 hasConcept C17744445 @default.
- W1601076104 hasConcept C185592680 @default.
- W1601076104 hasConcept C199539241 @default.
- W1601076104 hasConcept C204787440 @default.
- W1601076104 hasConcept C2777532764 @default.
- W1601076104 hasConcept C2779463800 @default.
- W1601076104 hasConcept C2780129039 @default.
- W1601076104 hasConcept C2780385302 @default.
- W1601076104 hasConcept C41008148 @default.
- W1601076104 hasConcept C71924100 @default.
- W1601076104 hasConcept C75606506 @default.
- W1601076104 hasConcept C8010536 @default.
- W1601076104 hasConceptScore W1601076104C111919701 @default.
- W1601076104 hasConceptScore W1601076104C115903868 @default.
- W1601076104 hasConceptScore W1601076104C142724271 @default.
- W1601076104 hasConceptScore W1601076104C161191863 @default.
- W1601076104 hasConceptScore W1601076104C17744445 @default.
- W1601076104 hasConceptScore W1601076104C185592680 @default.
- W1601076104 hasConceptScore W1601076104C199539241 @default.
- W1601076104 hasConceptScore W1601076104C204787440 @default.
- W1601076104 hasConceptScore W1601076104C2777532764 @default.
- W1601076104 hasConceptScore W1601076104C2779463800 @default.
- W1601076104 hasConceptScore W1601076104C2780129039 @default.
- W1601076104 hasConceptScore W1601076104C2780385302 @default.
- W1601076104 hasConceptScore W1601076104C41008148 @default.
- W1601076104 hasConceptScore W1601076104C71924100 @default.
- W1601076104 hasConceptScore W1601076104C75606506 @default.
- W1601076104 hasConceptScore W1601076104C8010536 @default.
- W1601076104 hasLocation W16010761041 @default.
- W1601076104 hasOpenAccess W1601076104 @default.
- W1601076104 hasPrimaryLocation W16010761041 @default.
- W1601076104 hasRelatedWork W111158402 @default.
- W1601076104 hasRelatedWork W139173026 @default.
- W1601076104 hasRelatedWork W161241064 @default.
- W1601076104 hasRelatedWork W202633042 @default.
- W1601076104 hasRelatedWork W21004124 @default.
- W1601076104 hasRelatedWork W2110899246 @default.
- W1601076104 hasRelatedWork W2171717928 @default.
- W1601076104 hasRelatedWork W2401837667 @default.
- W1601076104 hasRelatedWork W2402476332 @default.
- W1601076104 hasRelatedWork W2405136623 @default.
- W1601076104 hasRelatedWork W2414296282 @default.
- W1601076104 hasRelatedWork W2915677806 @default.
- W1601076104 hasRelatedWork W2983847024 @default.
- W1601076104 hasRelatedWork W2985426154 @default.
- W1601076104 hasRelatedWork W2987859641 @default.
- W1601076104 hasRelatedWork W3012966631 @default.
- W1601076104 hasRelatedWork W3026041212 @default.
- W1601076104 hasRelatedWork W1897171147 @default.
- W1601076104 hasRelatedWork W2117906978 @default.
- W1601076104 hasRelatedWork W2413302510 @default.
- W1601076104 isParatext "false" @default.
- W1601076104 isRetracted "false" @default.
- W1601076104 magId "1601076104" @default.
- W1601076104 workType "article" @default.