Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297922691> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4297922691 endingPage "574" @default.
- W4297922691 startingPage "559" @default.
- W4297922691 abstract "The concept of must testing is naturally parametrised with a chosen completeness criterion or fairness assumption. When taking weak fairness as used in I/O automata, I show that it characterises exactly the fair preorder on I/O automata as defined by Lynch & Tuttle." @default.
- W4297922691 created "2022-10-01" @default.
- W4297922691 creator A5048229897 @default.
- W4297922691 date "2022-01-01" @default.
- W4297922691 modified "2023-09-27" @default.
- W4297922691 title "Fair Must Testing for I/O Automata" @default.
- W4297922691 cites W1533361503 @default.
- W4297922691 cites W1557260581 @default.
- W4297922691 cites W1974396748 @default.
- W4297922691 cites W2120743705 @default.
- W4297922691 cites W2153717963 @default.
- W4297922691 cites W2157144873 @default.
- W4297922691 cites W2911862439 @default.
- W4297922691 cites W2953597237 @default.
- W4297922691 cites W2971448699 @default.
- W4297922691 cites W4243213620 @default.
- W4297922691 doi "https://doi.org/10.1007/978-3-031-15629-8_30" @default.
- W4297922691 hasPublicationYear "2022" @default.
- W4297922691 type Work @default.
- W4297922691 citedByCount "0" @default.
- W4297922691 crossrefType "book-chapter" @default.
- W4297922691 hasAuthorship W4297922691A5048229897 @default.
- W4297922691 hasBestOaLocation W42979226912 @default.
- W4297922691 hasConcept C112505250 @default.
- W4297922691 hasConcept C118615104 @default.
- W4297922691 hasConcept C134306372 @default.
- W4297922691 hasConcept C17231256 @default.
- W4297922691 hasConcept C2333172 @default.
- W4297922691 hasConcept C33923547 @default.
- W4297922691 hasConcept C41008148 @default.
- W4297922691 hasConcept C80444323 @default.
- W4297922691 hasConceptScore W4297922691C112505250 @default.
- W4297922691 hasConceptScore W4297922691C118615104 @default.
- W4297922691 hasConceptScore W4297922691C134306372 @default.
- W4297922691 hasConceptScore W4297922691C17231256 @default.
- W4297922691 hasConceptScore W4297922691C2333172 @default.
- W4297922691 hasConceptScore W4297922691C33923547 @default.
- W4297922691 hasConceptScore W4297922691C41008148 @default.
- W4297922691 hasConceptScore W4297922691C80444323 @default.
- W4297922691 hasLocation W42979226911 @default.
- W4297922691 hasLocation W42979226912 @default.
- W4297922691 hasOpenAccess W4297922691 @default.
- W4297922691 hasPrimaryLocation W42979226911 @default.
- W4297922691 hasRelatedWork W174184838 @default.
- W4297922691 hasRelatedWork W1994076373 @default.
- W4297922691 hasRelatedWork W2034276883 @default.
- W4297922691 hasRelatedWork W2083828733 @default.
- W4297922691 hasRelatedWork W2104925315 @default.
- W4297922691 hasRelatedWork W3091865181 @default.
- W4297922691 hasRelatedWork W3099756613 @default.
- W4297922691 hasRelatedWork W3213784925 @default.
- W4297922691 hasRelatedWork W4297922691 @default.
- W4297922691 hasRelatedWork W2611282822 @default.
- W4297922691 isParatext "false" @default.
- W4297922691 isRetracted "false" @default.
- W4297922691 workType "book-chapter" @default.