scientific article
From MaRDI portal
Publication:3299221
DOI10.4230/LIPICS.FSTTCS.2014.11zbMath1436.68041MaRDI QIDQ3299221
Publication date: 19 July 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Automata and Logics for Concurrent Systems: Five Models in Five Pages ⋮ Towards an Efficient Tree Automata based technique for Timed Systems ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Unnamed Item
This page was built for publication:
