Matches in SemOpenAlex for { <https://semopenalex.org/work/W8797685> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W8797685 abstract "Techniques for modeling behavior of timed and hybrid systems using SAL are investigated. Input models consist of networks of timed (hybrid) automata with location invariants as well as synchronized transitions and urgency. Several techniques for model checking the reachability properties of the resulting models are studied and compared." @default.
- W8797685 created "2016-06-24" @default.
- W8797685 creator A5027806769 @default.
- W8797685 creator A5046698408 @default.
- W8797685 date "2007-01-01" @default.
- W8797685 modified "2023-09-27" @default.
- W8797685 title "Hybrid Automata And SAL" @default.
- W8797685 cites W1523327481 @default.
- W8797685 cites W1572777470 @default.
- W8797685 cites W2096593570 @default.
- W8797685 cites W2098784258 @default.
- W8797685 cites W2101508170 @default.
- W8797685 hasPublicationYear "2007" @default.
- W8797685 type Work @default.
- W8797685 sameAs 8797685 @default.
- W8797685 citedByCount "0" @default.
- W8797685 crossrefType "journal-article" @default.
- W8797685 hasAuthorship W8797685A5027806769 @default.
- W8797685 hasAuthorship W8797685A5046698408 @default.
- W8797685 hasConcept C110251889 @default.
- W8797685 hasConcept C112505250 @default.
- W8797685 hasConcept C11413529 @default.
- W8797685 hasConcept C119857082 @default.
- W8797685 hasConcept C136643341 @default.
- W8797685 hasConcept C2776028153 @default.
- W8797685 hasConcept C30788636 @default.
- W8797685 hasConcept C41008148 @default.
- W8797685 hasConcept C50897621 @default.
- W8797685 hasConcept C80444323 @default.
- W8797685 hasConceptScore W8797685C110251889 @default.
- W8797685 hasConceptScore W8797685C112505250 @default.
- W8797685 hasConceptScore W8797685C11413529 @default.
- W8797685 hasConceptScore W8797685C119857082 @default.
- W8797685 hasConceptScore W8797685C136643341 @default.
- W8797685 hasConceptScore W8797685C2776028153 @default.
- W8797685 hasConceptScore W8797685C30788636 @default.
- W8797685 hasConceptScore W8797685C41008148 @default.
- W8797685 hasConceptScore W8797685C50897621 @default.
- W8797685 hasConceptScore W8797685C80444323 @default.
- W8797685 hasLocation W87976851 @default.
- W8797685 hasOpenAccess W8797685 @default.
- W8797685 hasPrimaryLocation W87976851 @default.
- W8797685 hasRelatedWork W131394547 @default.
- W8797685 hasRelatedWork W1491784475 @default.
- W8797685 hasRelatedWork W1518566078 @default.
- W8797685 hasRelatedWork W1560269247 @default.
- W8797685 hasRelatedWork W1565764206 @default.
- W8797685 hasRelatedWork W157996229 @default.
- W8797685 hasRelatedWork W1581984271 @default.
- W8797685 hasRelatedWork W2146127194 @default.
- W8797685 hasRelatedWork W2189197255 @default.
- W8797685 hasRelatedWork W2343330879 @default.
- W8797685 hasRelatedWork W2490722280 @default.
- W8797685 hasRelatedWork W2556777768 @default.
- W8797685 hasRelatedWork W2588652119 @default.
- W8797685 hasRelatedWork W2622970346 @default.
- W8797685 hasRelatedWork W2644563172 @default.
- W8797685 hasRelatedWork W3021238735 @default.
- W8797685 hasRelatedWork W3135596558 @default.
- W8797685 hasRelatedWork W1217401395 @default.
- W8797685 hasRelatedWork W2739856081 @default.
- W8797685 hasRelatedWork W67009137 @default.
- W8797685 isParatext "false" @default.
- W8797685 isRetracted "false" @default.
- W8797685 magId "8797685" @default.
- W8797685 workType "article" @default.