Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992586213> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1992586213 endingPage "183" @default.
- W1992586213 startingPage "170" @default.
- W1992586213 abstract "Real-time distributed systems are modeled by a times transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties (specified in real-time temporal logic). The procedures are linear in the size of the system reachability graph. The class of properties includes invariance, precedence, eventuality and real-time response specifications.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1992586213 created "2016-06-24" @default.
- W1992586213 creator A5001475910 @default.
- W1992586213 date "1990-04-01" @default.
- W1992586213 modified "2023-09-26" @default.
- W1992586213 title "Deciding properties of timed transition models" @default.
- W1992586213 cites W1586932402 @default.
- W1992586213 cites W2004306067 @default.
- W1992586213 cites W2017349948 @default.
- W1992586213 cites W2038995301 @default.
- W1992586213 cites W2040127143 @default.
- W1992586213 cites W2042801853 @default.
- W1992586213 cites W2056359803 @default.
- W1992586213 cites W2073689993 @default.
- W1992586213 cites W2117189826 @default.
- W1992586213 cites W2117834984 @default.
- W1992586213 cites W2133064543 @default.
- W1992586213 cites W2158942146 @default.
- W1992586213 cites W2131659851 @default.
- W1992586213 doi "https://doi.org/10.1109/71.80145" @default.
- W1992586213 hasPublicationYear "1990" @default.
- W1992586213 type Work @default.
- W1992586213 sameAs 1992586213 @default.
- W1992586213 citedByCount "106" @default.
- W1992586213 countsByYear W19925862132012 @default.
- W1992586213 countsByYear W19925862132013 @default.
- W1992586213 countsByYear W19925862132014 @default.
- W1992586213 countsByYear W19925862132015 @default.
- W1992586213 countsByYear W19925862132016 @default.
- W1992586213 countsByYear W19925862132018 @default.
- W1992586213 countsByYear W19925862132019 @default.
- W1992586213 countsByYear W19925862132020 @default.
- W1992586213 crossrefType "journal-article" @default.
- W1992586213 hasAuthorship W1992586213A5001475910 @default.
- W1992586213 hasConcept C110251889 @default.
- W1992586213 hasConcept C11413529 @default.
- W1992586213 hasConcept C132525143 @default.
- W1992586213 hasConcept C136643341 @default.
- W1992586213 hasConcept C154945302 @default.
- W1992586213 hasConcept C25016198 @default.
- W1992586213 hasConcept C2777212361 @default.
- W1992586213 hasConcept C2779167558 @default.
- W1992586213 hasConcept C41008148 @default.
- W1992586213 hasConcept C48103436 @default.
- W1992586213 hasConcept C80444323 @default.
- W1992586213 hasConceptScore W1992586213C110251889 @default.
- W1992586213 hasConceptScore W1992586213C11413529 @default.
- W1992586213 hasConceptScore W1992586213C132525143 @default.
- W1992586213 hasConceptScore W1992586213C136643341 @default.
- W1992586213 hasConceptScore W1992586213C154945302 @default.
- W1992586213 hasConceptScore W1992586213C25016198 @default.
- W1992586213 hasConceptScore W1992586213C2777212361 @default.
- W1992586213 hasConceptScore W1992586213C2779167558 @default.
- W1992586213 hasConceptScore W1992586213C41008148 @default.
- W1992586213 hasConceptScore W1992586213C48103436 @default.
- W1992586213 hasConceptScore W1992586213C80444323 @default.
- W1992586213 hasIssue "2" @default.
- W1992586213 hasLocation W19925862131 @default.
- W1992586213 hasOpenAccess W1992586213 @default.
- W1992586213 hasPrimaryLocation W19925862131 @default.
- W1992586213 hasRelatedWork W147274287 @default.
- W1992586213 hasRelatedWork W1518439360 @default.
- W1992586213 hasRelatedWork W1594689556 @default.
- W1992586213 hasRelatedWork W1948103674 @default.
- W1992586213 hasRelatedWork W1992586213 @default.
- W1992586213 hasRelatedWork W1994843883 @default.
- W1992586213 hasRelatedWork W206281402 @default.
- W1992586213 hasRelatedWork W2951066807 @default.
- W1992586213 hasRelatedWork W895230556 @default.
- W1992586213 hasRelatedWork W2131659851 @default.
- W1992586213 hasVolume "1" @default.
- W1992586213 isParatext "false" @default.
- W1992586213 isRetracted "false" @default.
- W1992586213 magId "1992586213" @default.
- W1992586213 workType "article" @default.