Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539618464> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1539618464 endingPage "66" @default.
- W1539618464 startingPage "39" @default.
- W1539618464 abstract "This chapter contains sections titled: Introduction Timed models Timed logics Timed model-checking Conclusion Bibliography" @default.
- W1539618464 created "2016-06-24" @default.
- W1539618464 creator A5008504744 @default.
- W1539618464 date "2013-02-13" @default.
- W1539618464 modified "2023-10-17" @default.
- W1539618464 title "Timed Model‐Checking" @default.
- W1539618464 cites W1485651722 @default.
- W1539618464 cites W1511538751 @default.
- W1539618464 cites W1529107813 @default.
- W1539618464 cites W1529601677 @default.
- W1539618464 cites W1540527708 @default.
- W1539618464 cites W1544206522 @default.
- W1539618464 cites W1554260731 @default.
- W1539618464 cites W1560508321 @default.
- W1539618464 cites W1572777470 @default.
- W1539618464 cites W1574289075 @default.
- W1539618464 cites W1593428110 @default.
- W1539618464 cites W1643991583 @default.
- W1539618464 cites W1772179977 @default.
- W1539618464 cites W1841167015 @default.
- W1539618464 cites W1900558419 @default.
- W1539618464 cites W1980601361 @default.
- W1539618464 cites W1981808971 @default.
- W1539618464 cites W1995691455 @default.
- W1539618464 cites W2000947342 @default.
- W1539618464 cites W2015640848 @default.
- W1539618464 cites W2026629052 @default.
- W1539618464 cites W2030263557 @default.
- W1539618464 cites W2049696538 @default.
- W1539618464 cites W2051068608 @default.
- W1539618464 cites W2057980886 @default.
- W1539618464 cites W2079420020 @default.
- W1539618464 cites W2083567135 @default.
- W1539618464 cites W2084880396 @default.
- W1539618464 cites W2085838366 @default.
- W1539618464 cites W2090398333 @default.
- W1539618464 cites W2101508170 @default.
- W1539618464 cites W2117087357 @default.
- W1539618464 cites W2118802216 @default.
- W1539618464 cites W2128993334 @default.
- W1539618464 cites W2130773092 @default.
- W1539618464 cites W2140595448 @default.
- W1539618464 cites W2142718416 @default.
- W1539618464 cites W2142830749 @default.
- W1539618464 cites W2161202152 @default.
- W1539618464 cites W2224093492 @default.
- W1539618464 cites W3000490227 @default.
- W1539618464 cites W4253994206 @default.
- W1539618464 cites W59365162 @default.
- W1539618464 doi "https://doi.org/10.1002/9781118558188.ch2" @default.
- W1539618464 hasPublicationYear "2013" @default.
- W1539618464 type Work @default.
- W1539618464 sameAs 1539618464 @default.
- W1539618464 citedByCount "0" @default.
- W1539618464 crossrefType "other" @default.
- W1539618464 hasAuthorship W1539618464A5008504744 @default.
- W1539618464 hasConcept C110251889 @default.
- W1539618464 hasConcept C199360897 @default.
- W1539618464 hasConcept C41008148 @default.
- W1539618464 hasConceptScore W1539618464C110251889 @default.
- W1539618464 hasConceptScore W1539618464C199360897 @default.
- W1539618464 hasConceptScore W1539618464C41008148 @default.
- W1539618464 hasLocation W15396184641 @default.
- W1539618464 hasLocation W15396184642 @default.
- W1539618464 hasOpenAccess W1539618464 @default.
- W1539618464 hasPrimaryLocation W15396184641 @default.
- W1539618464 hasRelatedWork W2104078272 @default.
- W1539618464 hasRelatedWork W2112962394 @default.
- W1539618464 hasRelatedWork W2118300983 @default.
- W1539618464 hasRelatedWork W2166247150 @default.
- W1539618464 hasRelatedWork W2364866360 @default.
- W1539618464 hasRelatedWork W2382501300 @default.
- W1539618464 hasRelatedWork W3137189469 @default.
- W1539618464 hasRelatedWork W3162240892 @default.
- W1539618464 hasRelatedWork W4235530921 @default.
- W1539618464 hasRelatedWork W4243252198 @default.
- W1539618464 isParatext "false" @default.
- W1539618464 isRetracted "false" @default.
- W1539618464 magId "1539618464" @default.
- W1539618464 workType "other" @default.