Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204807979> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W3204807979 endingPage "827" @default.
- W3204807979 startingPage "827" @default.
- W3204807979 created "2021-10-11" @default.
- W3204807979 creator A5037766115 @default.
- W3204807979 creator A5068636555 @default.
- W3204807979 creator A5071735146 @default.
- W3204807979 creator A5080481427 @default.
- W3204807979 creator A5081682092 @default.
- W3204807979 date "2021-10-01" @default.
- W3204807979 modified "2023-10-10" @default.
- W3204807979 title "Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety" @default.
- W3204807979 doi "https://doi.org/10.1007/s10009-021-00643-x" @default.
- W3204807979 hasPublicationYear "2021" @default.
- W3204807979 type Work @default.
- W3204807979 sameAs 3204807979 @default.
- W3204807979 citedByCount "1" @default.
- W3204807979 countsByYear W32048079792023 @default.
- W3204807979 crossrefType "journal-article" @default.
- W3204807979 hasAuthorship W3204807979A5037766115 @default.
- W3204807979 hasAuthorship W3204807979A5068636555 @default.
- W3204807979 hasAuthorship W3204807979A5071735146 @default.
- W3204807979 hasAuthorship W3204807979A5080481427 @default.
- W3204807979 hasAuthorship W3204807979A5081682092 @default.
- W3204807979 hasBestOaLocation W32048079791 @default.
- W3204807979 hasConcept C115903868 @default.
- W3204807979 hasConcept C199360897 @default.
- W3204807979 hasConcept C24858836 @default.
- W3204807979 hasConcept C41008148 @default.
- W3204807979 hasConceptScore W3204807979C115903868 @default.
- W3204807979 hasConceptScore W3204807979C199360897 @default.
- W3204807979 hasConceptScore W3204807979C24858836 @default.
- W3204807979 hasConceptScore W3204807979C41008148 @default.
- W3204807979 hasIssue "5" @default.
- W3204807979 hasLocation W32048079791 @default.
- W3204807979 hasOpenAccess W3204807979 @default.
- W3204807979 hasPrimaryLocation W32048079791 @default.
- W3204807979 hasRelatedWork W2013111119 @default.
- W3204807979 hasRelatedWork W2047793074 @default.
- W3204807979 hasRelatedWork W2112962394 @default.
- W3204807979 hasRelatedWork W2118300983 @default.
- W3204807979 hasRelatedWork W2382501300 @default.
- W3204807979 hasRelatedWork W3137189469 @default.
- W3204807979 hasRelatedWork W3162240892 @default.
- W3204807979 hasRelatedWork W4235530921 @default.
- W3204807979 hasRelatedWork W4243252198 @default.
- W3204807979 hasRelatedWork W4245713008 @default.
- W3204807979 hasVolume "23" @default.
- W3204807979 isParatext "false" @default.
- W3204807979 isRetracted "false" @default.
- W3204807979 magId "3204807979" @default.
- W3204807979 workType "article" @default.