Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Search content at Research Explorer The University of Manchester
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Practical first-order temporal reasoning
C. Dixon
,
M. Fisher
, B. Konev
, A. Lisitsa
Formal Methods
Research output
:
Chapter in Book/Conference proceeding
›
Conference contribution
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Practical first-order temporal reasoning'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Temporal Logic
100%
Communication Delay
50%
Liveness
50%
asynchronous system
50%