FRINK Linked Data Fragments server

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

• W2108134414 abstract "In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of first-order temporal logic that is both powerful enough for this form of specification and tractable enough for practical deductive verification. Importantly, the power of the temporal language allows us to describe (and verify) asynchronous systems, communication delays and more complex properties such as liveness and fairness properties. These aspects appear difficult for many other approaches to infinite-state verification." @default.
• W2108134414 created "2016-06-24" @default.
• W2108134414 creator A5001487424 @default.
• W2108134414 creator A5013515770 @default.
• W2108134414 creator A5032067568 @default.
• W2108134414 creator A5057274980 @default.
• W2108134414 date "2007-02-06" @default.
• W2108134414 modified "2023-09-27" @default.
• W2108134414 title "Efficient First-Order Temporal Logic for Infinite-State Systems" @default.
• W2108134414 cites W1501787710 @default.
• W2108134414 cites W1520981400 @default.
• W2108134414 cites W1549008998 @default.
• W2108134414 cites W1594660938 @default.
• W2108134414 cites W1601920483 @default.
• W2108134414 cites W1601924398 @default.
• W2108134414 cites W1605302571 @default.
• W2108134414 cites W1606022702 @default.
• W2108134414 cites W1696642672 @default.
• W2108134414 cites W2018216922 @default.
• W2108134414 cites W2021704447 @default.
• W2108134414 cites W2045554431 @default.
• W2108134414 cites W2046865417 @default.
• W2108134414 cites W2059647742 @default.
• W2108134414 cites W2065380071 @default.
• W2108134414 cites W2111581283 @default.
• W2108134414 cites W2126897271 @default.
• W2108134414 cites W2129073086 @default.
• W2108134414 cites W2130719222 @default.
• W2108134414 cites W2131225255 @default.
• W2108134414 cites W2138112549 @default.
• W2108134414 cites W2138126349 @default.
• W2108134414 cites W2143353707 @default.
• W2108134414 cites W2160675873 @default.
• W2108134414 cites W2162357200 @default.
• W2108134414 cites W2396555304 @default.
• W2108134414 cites W2569375046 @default.
• W2108134414 cites W2611515161 @default.
• W2108134414 cites W2913459036 @default.
• W2108134414 cites W55334476 @default.
• W2108134414 hasPublicationYear "2007" @default.
• W2108134414 type Work @default.
• W2108134414 sameAs 2108134414 @default.
• W2108134414 citedByCount "2" @default.
• W2108134414 countsByYear W21081344142012 @default.
• W2108134414 crossrefType "posted-content" @default.
• W2108134414 hasAuthorship W2108134414A5001487424 @default.
• W2108134414 hasAuthorship W2108134414A5013515770 @default.
• W2108134414 hasAuthorship W2108134414A5032067568 @default.
• W2108134414 hasAuthorship W2108134414A5057274980 @default.
• W2108134414 hasConcept C110251889 @default.
• W2108134414 hasConcept C11648818 @default.
• W2108134414 hasConcept C136197465 @default.
• W2108134414 hasConcept C151319957 @default.
• W2108134414 hasConcept C154945302 @default.
• W2108134414 hasConcept C15569618 @default.
• W2108134414 hasConcept C162670838 @default.
• W2108134414 hasConcept C195818886 @default.
• W2108134414 hasConcept C198008173 @default.
• W2108134414 hasConcept C199360897 @default.
• W2108134414 hasConcept C201677973 @default.
• W2108134414 hasConcept C25016198 @default.
• W2108134414 hasConcept C31258907 @default.
• W2108134414 hasConcept C41008148 @default.
• W2108134414 hasConcept C4777664 @default.
• W2108134414 hasConcept C48103436 @default.
• W2108134414 hasConcept C80444323 @default.
• W2108134414 hasConceptScore W2108134414C110251889 @default.
• W2108134414 hasConceptScore W2108134414C11648818 @default.
• W2108134414 hasConceptScore W2108134414C136197465 @default.
• W2108134414 hasConceptScore W2108134414C151319957 @default.
• W2108134414 hasConceptScore W2108134414C154945302 @default.
• W2108134414 hasConceptScore W2108134414C15569618 @default.
• W2108134414 hasConceptScore W2108134414C162670838 @default.
• W2108134414 hasConceptScore W2108134414C195818886 @default.
• W2108134414 hasConceptScore W2108134414C198008173 @default.
• W2108134414 hasConceptScore W2108134414C199360897 @default.
• W2108134414 hasConceptScore W2108134414C201677973 @default.
• W2108134414 hasConceptScore W2108134414C25016198 @default.
• W2108134414 hasConceptScore W2108134414C31258907 @default.
• W2108134414 hasConceptScore W2108134414C41008148 @default.
• W2108134414 hasConceptScore W2108134414C4777664 @default.
• W2108134414 hasConceptScore W2108134414C48103436 @default.
• W2108134414 hasConceptScore W2108134414C80444323 @default.
• W2108134414 hasLocation W21081344141 @default.
• W2108134414 hasOpenAccess W2108134414 @default.
• W2108134414 hasPrimaryLocation W21081344141 @default.
• W2108134414 hasRelatedWork W1515452107 @default.
• W2108134414 hasRelatedWork W1526924704 @default.
• W2108134414 hasRelatedWork W1540031956 @default.
• W2108134414 hasRelatedWork W1558365987 @default.
• W2108134414 hasRelatedWork W1990092944 @default.
• W2108134414 hasRelatedWork W2012623308 @default.
• W2108134414 hasRelatedWork W2072078345 @default.
• W2108134414 hasRelatedWork W2099374974 @default.
• W2108134414 hasRelatedWork W2099878668 @default.
• W2108134414 hasRelatedWork W2106595800 @default.
• W2108134414 hasRelatedWork W2118721394 @default.
• W2108134414 hasRelatedWork W2137922374 @default.
• W2108134414 hasRelatedWork W2153903356 @default.
• W2108134414 hasRelatedWork W2171273359 @default.

• next