FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950673048> ?p ?o ?g. }

• W2950673048 abstract "Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Moreover, based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions." @default.
• W2950673048 created "2019-06-27" @default.
• W2950673048 creator A5034077775 @default.
• W2950673048 creator A5073035917 @default.
• W2950673048 date "2012-12-19" @default.
• W2950673048 modified "2023-10-16" @default.
• W2950673048 title "A Modal Characterization of Alternating Approximate Bisimilarity" @default.
• W2950673048 cites W1518436864 @default.
• W2950673048 cites W1523452604 @default.
• W2950673048 cites W1540519426 @default.
• W2950673048 cites W1547562281 @default.
• W2950673048 cites W1551877760 @default.
• W2950673048 cites W1552249698 @default.
• W2950673048 cites W1571676662 @default.
• W2950673048 cites W173641204 @default.
• W2950673048 cites W1973013779 @default.
• W2950673048 cites W1978469611 @default.
• W2950673048 cites W1980535239 @default.
• W2950673048 cites W1994802992 @default.
• W2950673048 cites W1997070622 @default.
• W2950673048 cites W2011979623 @default.
• W2950673048 cites W2015172530 @default.
• W2950673048 cites W2021486660 @default.
• W2950673048 cites W2035309264 @default.
• W2950673048 cites W2044323243 @default.
• W2950673048 cites W2048905609 @default.
• W2950673048 cites W2055687978 @default.
• W2950673048 cites W2063972032 @default.
• W2950673048 cites W2079042739 @default.
• W2950673048 cites W2090847457 @default.
• W2950673048 cites W2112989388 @default.
• W2950673048 cites W2117218135 @default.
• W2950673048 cites W2134312936 @default.
• W2950673048 cites W2150335178 @default.
• W2950673048 cites W2155105871 @default.
• W2950673048 cites W2159461839 @default.
• W2950673048 cites W3099747567 @default.
• W2950673048 cites W3820865 @default.
• W2950673048 cites W44204001 @default.
• W2950673048 doi "https://doi.org/10.48550/arxiv.1212.5139" @default.
• W2950673048 hasPublicationYear "2012" @default.
• W2950673048 type Work @default.
• W2950673048 sameAs 2950673048 @default.
• W2950673048 citedByCount "0" @default.
• W2950673048 crossrefType "posted-content" @default.
• W2950673048 hasAuthorship W2950673048A5034077775 @default.
• W2950673048 hasAuthorship W2950673048A5073035917 @default.
• W2950673048 hasBestOaLocation W29506730481 @default.
• W2950673048 hasConcept C10138342 @default.
• W2950673048 hasConcept C120665830 @default.
• W2950673048 hasConcept C121332964 @default.
• W2950673048 hasConcept C156103551 @default.
• W2950673048 hasConcept C162324750 @default.
• W2950673048 hasConcept C182306322 @default.
• W2950673048 hasConcept C188027245 @default.
• W2950673048 hasConcept C192562407 @default.
• W2950673048 hasConcept C202444582 @default.
• W2950673048 hasConcept C25343380 @default.
• W2950673048 hasConcept C2779167558 @default.
• W2950673048 hasConcept C2780069185 @default.
• W2950673048 hasConcept C2780841128 @default.
• W2950673048 hasConcept C33923547 @default.
• W2950673048 hasConcept C41008148 @default.
• W2950673048 hasConcept C71139939 @default.
• W2950673048 hasConcept C77088390 @default.
• W2950673048 hasConcept C80444323 @default.
• W2950673048 hasConceptScore W2950673048C10138342 @default.
• W2950673048 hasConceptScore W2950673048C120665830 @default.
• W2950673048 hasConceptScore W2950673048C121332964 @default.
• W2950673048 hasConceptScore W2950673048C156103551 @default.
• W2950673048 hasConceptScore W2950673048C162324750 @default.
• W2950673048 hasConceptScore W2950673048C182306322 @default.
• W2950673048 hasConceptScore W2950673048C188027245 @default.
• W2950673048 hasConceptScore W2950673048C192562407 @default.
• W2950673048 hasConceptScore W2950673048C202444582 @default.
• W2950673048 hasConceptScore W2950673048C25343380 @default.
• W2950673048 hasConceptScore W2950673048C2779167558 @default.
• W2950673048 hasConceptScore W2950673048C2780069185 @default.
• W2950673048 hasConceptScore W2950673048C2780841128 @default.
• W2950673048 hasConceptScore W2950673048C33923547 @default.
• W2950673048 hasConceptScore W2950673048C41008148 @default.
• W2950673048 hasConceptScore W2950673048C71139939 @default.
• W2950673048 hasConceptScore W2950673048C77088390 @default.
• W2950673048 hasConceptScore W2950673048C80444323 @default.
• W2950673048 hasLocation W29506730481 @default.
• W2950673048 hasOpenAccess W2950673048 @default.
• W2950673048 hasPrimaryLocation W29506730481 @default.
• W2950673048 hasRelatedWork W1966007443 @default.
• W2950673048 hasRelatedWork W1985488429 @default.
• W2950673048 hasRelatedWork W2059034874 @default.
• W2950673048 hasRelatedWork W2062762081 @default.
• W2950673048 hasRelatedWork W2084376868 @default.
• W2950673048 hasRelatedWork W2385053982 @default.
• W2950673048 hasRelatedWork W2552464480 @default.
• W2950673048 hasRelatedWork W2950673048 @default.
• W2950673048 hasRelatedWork W2964187826 @default.
• W2950673048 hasRelatedWork W2964341423 @default.
• W2950673048 isParatext "false" @default.
• W2950673048 isRetracted "false" @default.
• W2950673048 magId "2950673048" @default.

• next