Matches in SemOpenAlex for { <https://semopenalex.org/work/W1947252976> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1947252976 abstract "This paper describes a technique for generating diagnostic information for the timed bisimulation equivalence and the timed simulation preorder. More precisely, given two (parallel) networks of regular real-time processes, the technique will provide a logical formula that differentiates them in case they are not timed (bi)similar. Our method may be seen as an extension of the algorithm by Cerans for deciding timed bisimilarity in that information of time-quantities has been added sufficient for generating distinguishing formulae." @default.
- W1947252976 created "2016-06-24" @default.
- W1947252976 creator A5065045401 @default.
- W1947252976 creator A5069362159 @default.
- W1947252976 date "1996-01-01" @default.
- W1947252976 modified "2023-09-24" @default.
- W1947252976 title "Synthesizing Distinguishing Formulae for Real Time Systems" @default.
- W1947252976 hasPublicationYear "1996" @default.
- W1947252976 type Work @default.
- W1947252976 sameAs 1947252976 @default.
- W1947252976 citedByCount "0" @default.
- W1947252976 crossrefType "journal-article" @default.
- W1947252976 hasAuthorship W1947252976A5065045401 @default.
- W1947252976 hasAuthorship W1947252976A5069362159 @default.
- W1947252976 hasConcept C11413529 @default.
- W1947252976 hasConcept C118615104 @default.
- W1947252976 hasConcept C135315306 @default.
- W1947252976 hasConcept C161771561 @default.
- W1947252976 hasConcept C199360897 @default.
- W1947252976 hasConcept C2333172 @default.
- W1947252976 hasConcept C2778029271 @default.
- W1947252976 hasConcept C2780069185 @default.
- W1947252976 hasConcept C33923547 @default.
- W1947252976 hasConcept C41008148 @default.
- W1947252976 hasConcept C80444323 @default.
- W1947252976 hasConceptScore W1947252976C11413529 @default.
- W1947252976 hasConceptScore W1947252976C118615104 @default.
- W1947252976 hasConceptScore W1947252976C135315306 @default.
- W1947252976 hasConceptScore W1947252976C161771561 @default.
- W1947252976 hasConceptScore W1947252976C199360897 @default.
- W1947252976 hasConceptScore W1947252976C2333172 @default.
- W1947252976 hasConceptScore W1947252976C2778029271 @default.
- W1947252976 hasConceptScore W1947252976C2780069185 @default.
- W1947252976 hasConceptScore W1947252976C33923547 @default.
- W1947252976 hasConceptScore W1947252976C41008148 @default.
- W1947252976 hasConceptScore W1947252976C80444323 @default.
- W1947252976 hasLocation W19472529761 @default.
- W1947252976 hasOpenAccess W1947252976 @default.
- W1947252976 hasPrimaryLocation W19472529761 @default.
- W1947252976 hasRelatedWork W129354385 @default.
- W1947252976 hasRelatedWork W1484268929 @default.
- W1947252976 hasRelatedWork W1550523972 @default.
- W1947252976 hasRelatedWork W1588936867 @default.
- W1947252976 hasRelatedWork W1592459923 @default.
- W1947252976 hasRelatedWork W2032760362 @default.
- W1947252976 hasRelatedWork W2034721959 @default.
- W1947252976 hasRelatedWork W2043383965 @default.
- W1947252976 hasRelatedWork W2078282392 @default.
- W1947252976 hasRelatedWork W2147015722 @default.
- W1947252976 hasRelatedWork W2184759525 @default.
- W1947252976 hasRelatedWork W2256753787 @default.
- W1947252976 hasRelatedWork W2502084936 @default.
- W1947252976 hasRelatedWork W2613210537 @default.
- W1947252976 hasRelatedWork W2919905491 @default.
- W1947252976 hasRelatedWork W2943220997 @default.
- W1947252976 hasRelatedWork W2964498318 @default.
- W1947252976 hasRelatedWork W2997159042 @default.
- W1947252976 hasRelatedWork W3157619182 @default.
- W1947252976 hasRelatedWork W2181617201 @default.
- W1947252976 isParatext "false" @default.
- W1947252976 isRetracted "false" @default.
- W1947252976 magId "1947252976" @default.
- W1947252976 workType "article" @default.