Book Chapter10.1007/3-540-64358-3_37

A logic for the specification of continuous systems

Viktor Priesen-1998-01-01-Lecture notes in computer science

5

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceUnary operationTemporal logicFirst-order logicLinear temporal logicOperator (biology)Predicate logicTheoretical computer science

Chat

Click to start Chat