Matches in SemOpenAlex for { <https://semopenalex.org/work/W2244580467> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2244580467 endingPage "1041" @default.
- W2244580467 startingPage "1031" @default.
- W2244580467 created "2016-06-24" @default.
- W2244580467 creator A5009949218 @default.
- W2244580467 creator A5027925855 @default.
- W2244580467 creator A5035814393 @default.
- W2244580467 date "2015-11-21" @default.
- W2244580467 modified "2023-09-22" @default.
- W2244580467 title "Using timed automata for modeling, simulating and verifying networked systems controller’s specifications" @default.
- W2244580467 cites W1962072139 @default.
- W2244580467 cites W1996865263 @default.
- W2244580467 cites W2002135980 @default.
- W2244580467 cites W2010499149 @default.
- W2244580467 cites W2033839066 @default.
- W2244580467 cites W2046806296 @default.
- W2244580467 cites W2074103996 @default.
- W2244580467 cites W2084040615 @default.
- W2244580467 cites W2093520853 @default.
- W2244580467 cites W2105386180 @default.
- W2244580467 cites W2110481971 @default.
- W2244580467 cites W2118709184 @default.
- W2244580467 cites W2126333793 @default.
- W2244580467 cites W2148567626 @default.
- W2244580467 cites W4239743240 @default.
- W2244580467 cites W4246782423 @default.
- W2244580467 doi "https://doi.org/10.1007/s00521-015-2115-5" @default.
- W2244580467 hasPublicationYear "2015" @default.
- W2244580467 type Work @default.
- W2244580467 sameAs 2244580467 @default.
- W2244580467 citedByCount "9" @default.
- W2244580467 countsByYear W22445804672017 @default.
- W2244580467 countsByYear W22445804672018 @default.
- W2244580467 countsByYear W22445804672019 @default.
- W2244580467 countsByYear W22445804672021 @default.
- W2244580467 countsByYear W22445804672022 @default.
- W2244580467 crossrefType "journal-article" @default.
- W2244580467 hasAuthorship W2244580467A5009949218 @default.
- W2244580467 hasAuthorship W2244580467A5027925855 @default.
- W2244580467 hasAuthorship W2244580467A5035814393 @default.
- W2244580467 hasConcept C112505250 @default.
- W2244580467 hasConcept C154945302 @default.
- W2244580467 hasConcept C203479927 @default.
- W2244580467 hasConcept C30788636 @default.
- W2244580467 hasConcept C41008148 @default.
- W2244580467 hasConcept C459310 @default.
- W2244580467 hasConcept C47822265 @default.
- W2244580467 hasConcept C6557445 @default.
- W2244580467 hasConcept C68597687 @default.
- W2244580467 hasConcept C80444323 @default.
- W2244580467 hasConcept C86803240 @default.
- W2244580467 hasConceptScore W2244580467C112505250 @default.
- W2244580467 hasConceptScore W2244580467C154945302 @default.
- W2244580467 hasConceptScore W2244580467C203479927 @default.
- W2244580467 hasConceptScore W2244580467C30788636 @default.
- W2244580467 hasConceptScore W2244580467C41008148 @default.
- W2244580467 hasConceptScore W2244580467C459310 @default.
- W2244580467 hasConceptScore W2244580467C47822265 @default.
- W2244580467 hasConceptScore W2244580467C6557445 @default.
- W2244580467 hasConceptScore W2244580467C68597687 @default.
- W2244580467 hasConceptScore W2244580467C80444323 @default.
- W2244580467 hasConceptScore W2244580467C86803240 @default.
- W2244580467 hasIssue "5" @default.
- W2244580467 hasLocation W22445804671 @default.
- W2244580467 hasOpenAccess W2244580467 @default.
- W2244580467 hasPrimaryLocation W22445804671 @default.
- W2244580467 hasRelatedWork W1486144438 @default.
- W2244580467 hasRelatedWork W1584197856 @default.
- W2244580467 hasRelatedWork W1855675516 @default.
- W2244580467 hasRelatedWork W2120347230 @default.
- W2244580467 hasRelatedWork W2196692106 @default.
- W2244580467 hasRelatedWork W2368796975 @default.
- W2244580467 hasRelatedWork W2569130014 @default.
- W2244580467 hasRelatedWork W98884783 @default.
- W2244580467 hasRelatedWork W2602338684 @default.
- W2244580467 hasRelatedWork W2751931981 @default.
- W2244580467 hasVolume "28" @default.
- W2244580467 isParatext "false" @default.
- W2244580467 isRetracted "false" @default.
- W2244580467 magId "2244580467" @default.
- W2244580467 workType "article" @default.