Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963804531> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2963804531 created "2019-07-30" @default.
- W2963804531 creator A5005383495 @default.
- W2963804531 creator A5009467441 @default.
- W2963804531 creator A5023537880 @default.
- W2963804531 creator A5062636889 @default.
- W2963804531 creator A5064136783 @default.
- W2963804531 creator A5083674910 @default.
- W2963804531 creator A5089633378 @default.
- W2963804531 creator A5090985194 @default.
- W2963804531 date "2017-01-01" @default.
- W2963804531 modified "2023-09-28" @default.
- W2963804531 title "Formalising and Monitoring Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL}" @default.
- W2963804531 hasPublicationYear "2017" @default.
- W2963804531 type Work @default.
- W2963804531 sameAs 2963804531 @default.
- W2963804531 citedByCount "0" @default.
- W2963804531 crossrefType "proceedings-article" @default.
- W2963804531 hasAuthorship W2963804531A5005383495 @default.
- W2963804531 hasAuthorship W2963804531A5009467441 @default.
- W2963804531 hasAuthorship W2963804531A5023537880 @default.
- W2963804531 hasAuthorship W2963804531A5062636889 @default.
- W2963804531 hasAuthorship W2963804531A5064136783 @default.
- W2963804531 hasAuthorship W2963804531A5083674910 @default.
- W2963804531 hasAuthorship W2963804531A5089633378 @default.
- W2963804531 hasAuthorship W2963804531A5090985194 @default.
- W2963804531 hasConcept C17435882 @default.
- W2963804531 hasConcept C199360897 @default.
- W2963804531 hasConcept C41008148 @default.
- W2963804531 hasConceptScore W2963804531C17435882 @default.
- W2963804531 hasConceptScore W2963804531C199360897 @default.
- W2963804531 hasConceptScore W2963804531C41008148 @default.
- W2963804531 hasLocation W29638045311 @default.
- W2963804531 hasOpenAccess W2963804531 @default.
- W2963804531 hasPrimaryLocation W29638045311 @default.
- W2963804531 hasRelatedWork W1941833199 @default.
- W2963804531 hasRelatedWork W1956142090 @default.
- W2963804531 hasRelatedWork W2012344819 @default.
- W2963804531 hasRelatedWork W2101125181 @default.
- W2963804531 hasRelatedWork W2108419400 @default.
- W2963804531 hasRelatedWork W2113879582 @default.
- W2963804531 hasRelatedWork W2144229263 @default.
- W2963804531 hasRelatedWork W2740234467 @default.
- W2963804531 hasRelatedWork W2746417718 @default.
- W2963804531 hasRelatedWork W2753480559 @default.
- W2963804531 hasRelatedWork W2810720485 @default.
- W2963804531 hasRelatedWork W2918213961 @default.
- W2963804531 hasRelatedWork W2969445295 @default.
- W2963804531 hasRelatedWork W3028335312 @default.
- W2963804531 hasRelatedWork W3121030992 @default.
- W2963804531 hasRelatedWork W3173782365 @default.
- W2963804531 hasRelatedWork W3186712465 @default.
- W2963804531 hasRelatedWork W3197837371 @default.
- W2963804531 hasRelatedWork W3204394849 @default.
- W2963804531 hasRelatedWork W827960660 @default.
- W2963804531 isParatext "false" @default.
- W2963804531 isRetracted "false" @default.
- W2963804531 magId "2963804531" @default.
- W2963804531 workType "article" @default.