Temporal logic and applications—a tutorial
From MaRDI portal
Publication:4017600
Recommendations
Cited in
(16)- scientific article; zbMATH DE number 194496 (Why is no real title available?)
- Design and analysis of dynamic leader election protocols in broadcast networks
- Temporal logics in computer science. Finite-state systems
- scientific article; zbMATH DE number 4119592 (Why is no real title available?)
- scientific article; zbMATH DE number 4119600 (Why is no real title available?)
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- Formal specification and verification
- Temporal Logic with Capacity Constraints
- An Extended Temporal Logic for CSCW
- scientific article; zbMATH DE number 3876567 (Why is no real title available?)
- Temporal normal form for linear temporal logic formulae
- Guaranteed global performance through local coordinations
- Temporal and dynamic logic
- scientific article; zbMATH DE number 139996 (Why is no real title available?)
- scientific article; zbMATH DE number 4035111 (Why is no real title available?)
- Interpreting message flow graphs
This page was built for publication: Temporal logic and applications—a tutorial
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4017600)