Matches in SemOpenAlex for { <https://semopenalex.org/work/W1828718242> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1828718242 endingPage "117" @default.
- W1828718242 startingPage "98" @default.
- W1828718242 abstract "We survey extensions of modal transition systems to specification theories for probabilistic and timed systems." @default.
- W1828718242 created "2016-06-24" @default.
- W1828718242 creator A5016501420 @default.
- W1828718242 creator A5028376436 @default.
- W1828718242 creator A5030129842 @default.
- W1828718242 date "2014-01-01" @default.
- W1828718242 modified "2023-10-18" @default.
- W1828718242 title "Specification Theories for Probabilistic and Real-Time Systems" @default.
- W1828718242 cites W1480909796 @default.
- W1828718242 cites W1489359924 @default.
- W1828718242 cites W1497573972 @default.
- W1828718242 cites W1588200817 @default.
- W1828718242 cites W1880384270 @default.
- W1828718242 cites W1973388684 @default.
- W1828718242 cites W2025782239 @default.
- W1828718242 cites W2061816895 @default.
- W1828718242 cites W2069642289 @default.
- W1828718242 cites W2071662215 @default.
- W1828718242 cites W2087480266 @default.
- W1828718242 cites W2098593535 @default.
- W1828718242 cites W2099863033 @default.
- W1828718242 cites W2100571517 @default.
- W1828718242 cites W2107949109 @default.
- W1828718242 cites W2139101939 @default.
- W1828718242 cites W2156314014 @default.
- W1828718242 cites W2157239333 @default.
- W1828718242 cites W2163369706 @default.
- W1828718242 cites W2914011863 @default.
- W1828718242 cites W2914055623 @default.
- W1828718242 cites W3137368705 @default.
- W1828718242 cites W4230095979 @default.
- W1828718242 cites W92051393 @default.
- W1828718242 doi "https://doi.org/10.1007/978-3-642-54848-2_7" @default.
- W1828718242 hasPublicationYear "2014" @default.
- W1828718242 type Work @default.
- W1828718242 sameAs 1828718242 @default.
- W1828718242 citedByCount "1" @default.
- W1828718242 countsByYear W18287182422023 @default.
- W1828718242 crossrefType "book-chapter" @default.
- W1828718242 hasAuthorship W1828718242A5016501420 @default.
- W1828718242 hasAuthorship W1828718242A5028376436 @default.
- W1828718242 hasAuthorship W1828718242A5030129842 @default.
- W1828718242 hasBestOaLocation W18287182421 @default.
- W1828718242 hasConcept C115903868 @default.
- W1828718242 hasConcept C154945302 @default.
- W1828718242 hasConcept C199360897 @default.
- W1828718242 hasConcept C41008148 @default.
- W1828718242 hasConcept C49937458 @default.
- W1828718242 hasConcept C80444323 @default.
- W1828718242 hasConceptScore W1828718242C115903868 @default.
- W1828718242 hasConceptScore W1828718242C154945302 @default.
- W1828718242 hasConceptScore W1828718242C199360897 @default.
- W1828718242 hasConceptScore W1828718242C41008148 @default.
- W1828718242 hasConceptScore W1828718242C49937458 @default.
- W1828718242 hasConceptScore W1828718242C80444323 @default.
- W1828718242 hasLocation W18287182421 @default.
- W1828718242 hasLocation W18287182422 @default.
- W1828718242 hasLocation W18287182423 @default.
- W1828718242 hasLocation W18287182424 @default.
- W1828718242 hasLocation W18287182425 @default.
- W1828718242 hasOpenAccess W1828718242 @default.
- W1828718242 hasPrimaryLocation W18287182421 @default.
- W1828718242 hasRelatedWork W2013111119 @default.
- W1828718242 hasRelatedWork W2112962394 @default.
- W1828718242 hasRelatedWork W2118300983 @default.
- W1828718242 hasRelatedWork W2382501300 @default.
- W1828718242 hasRelatedWork W3137189469 @default.
- W1828718242 hasRelatedWork W3162240892 @default.
- W1828718242 hasRelatedWork W4235530921 @default.
- W1828718242 hasRelatedWork W4243252198 @default.
- W1828718242 hasRelatedWork W4245713008 @default.
- W1828718242 hasRelatedWork W4290792893 @default.
- W1828718242 isParatext "false" @default.
- W1828718242 isRetracted "false" @default.
- W1828718242 magId "1828718242" @default.
- W1828718242 workType "book-chapter" @default.