CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past
Luca Geatti
,
Nicola Gigante
,
Angelo Montanari
,
Mark Reynolds
2018-01-01
Cite
DOI
URL
Type
Journal article
Publication
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Software
Related
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past
Persistent stochastic non-interference
Expressiveness of Extended Bounded Response LTL
Reactive Synthesis from Extended Bounded Response LTL Specifications
Cite
×