Matches in SemOpenAlex for { <https://semopenalex.org/work/W1677369871> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1677369871 endingPage "346" @default.
- W1677369871 startingPage "331" @default.
- W1677369871 created "2016-06-24" @default.
- W1677369871 creator A5025707429 @default.
- W1677369871 creator A5090819329 @default.
- W1677369871 date "2007-11-03" @default.
- W1677369871 modified "2023-09-27" @default.
- W1677369871 title "Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking" @default.
- W1677369871 cites W1502122036 @default.
- W1677369871 cites W1512013481 @default.
- W1677369871 cites W1549312786 @default.
- W1677369871 cites W1926463588 @default.
- W1677369871 cites W2005998857 @default.
- W1677369871 cites W2014550367 @default.
- W1677369871 cites W2041226400 @default.
- W1677369871 cites W2090311494 @default.
- W1677369871 cites W2101577148 @default.
- W1677369871 cites W2131058166 @default.
- W1677369871 cites W2141881497 @default.
- W1677369871 cites W2158655806 @default.
- W1677369871 cites W2169528473 @default.
- W1677369871 cites W4233436407 @default.
- W1677369871 doi "https://doi.org/10.1007/978-3-540-75596-8_24" @default.
- W1677369871 hasPublicationYear "2007" @default.
- W1677369871 type Work @default.
- W1677369871 sameAs 1677369871 @default.
- W1677369871 citedByCount "19" @default.
- W1677369871 countsByYear W16773698712014 @default.
- W1677369871 crossrefType "book-chapter" @default.
- W1677369871 hasAuthorship W1677369871A5025707429 @default.
- W1677369871 hasAuthorship W1677369871A5090819329 @default.
- W1677369871 hasConcept C110251889 @default.
- W1677369871 hasConcept C11413529 @default.
- W1677369871 hasConcept C118615104 @default.
- W1677369871 hasConcept C119857082 @default.
- W1677369871 hasConcept C134306372 @default.
- W1677369871 hasConcept C136643341 @default.
- W1677369871 hasConcept C154945302 @default.
- W1677369871 hasConcept C162838799 @default.
- W1677369871 hasConcept C177264268 @default.
- W1677369871 hasConcept C199360897 @default.
- W1677369871 hasConcept C2777669093 @default.
- W1677369871 hasConcept C2777735758 @default.
- W1677369871 hasConcept C33923547 @default.
- W1677369871 hasConcept C34388435 @default.
- W1677369871 hasConcept C41008148 @default.
- W1677369871 hasConcept C48103436 @default.
- W1677369871 hasConcept C49937458 @default.
- W1677369871 hasConcept C80444323 @default.
- W1677369871 hasConcept C98763669 @default.
- W1677369871 hasConceptScore W1677369871C110251889 @default.
- W1677369871 hasConceptScore W1677369871C11413529 @default.
- W1677369871 hasConceptScore W1677369871C118615104 @default.
- W1677369871 hasConceptScore W1677369871C119857082 @default.
- W1677369871 hasConceptScore W1677369871C134306372 @default.
- W1677369871 hasConceptScore W1677369871C136643341 @default.
- W1677369871 hasConceptScore W1677369871C154945302 @default.
- W1677369871 hasConceptScore W1677369871C162838799 @default.
- W1677369871 hasConceptScore W1677369871C177264268 @default.
- W1677369871 hasConceptScore W1677369871C199360897 @default.
- W1677369871 hasConceptScore W1677369871C2777669093 @default.
- W1677369871 hasConceptScore W1677369871C2777735758 @default.
- W1677369871 hasConceptScore W1677369871C33923547 @default.
- W1677369871 hasConceptScore W1677369871C34388435 @default.
- W1677369871 hasConceptScore W1677369871C41008148 @default.
- W1677369871 hasConceptScore W1677369871C48103436 @default.
- W1677369871 hasConceptScore W1677369871C49937458 @default.
- W1677369871 hasConceptScore W1677369871C80444323 @default.
- W1677369871 hasConceptScore W1677369871C98763669 @default.
- W1677369871 hasLocation W16773698711 @default.
- W1677369871 hasOpenAccess W1677369871 @default.
- W1677369871 hasPrimaryLocation W16773698711 @default.
- W1677369871 hasRelatedWork W1579190584 @default.
- W1677369871 hasRelatedWork W1588952892 @default.
- W1677369871 hasRelatedWork W1677369871 @default.
- W1677369871 hasRelatedWork W1994348879 @default.
- W1677369871 hasRelatedWork W2052868267 @default.
- W1677369871 hasRelatedWork W2118771962 @default.
- W1677369871 hasRelatedWork W2403555318 @default.
- W1677369871 hasRelatedWork W2529633050 @default.
- W1677369871 hasRelatedWork W2734341768 @default.
- W1677369871 hasRelatedWork W3215022433 @default.
- W1677369871 isParatext "false" @default.
- W1677369871 isRetracted "false" @default.
- W1677369871 magId "1677369871" @default.
- W1677369871 workType "book-chapter" @default.