PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
pnueli_temporal_1977.pdf
pnueli_temporal_1977.pdf
https://www.dimap.ufrn.br/~richard/pubs/dim0436/papers/pnueli_temporal_1977.pdf
Temporal logic
Link from a Wikipage to an external page
pnueli_temporal_1977.pdf
https://www.dimap.ufrn.br/~richard/pubs/dim0436/papers/pnueli_temporal_1977.pdf