scientific article
From MaRDI portal
Publication:2851067
zbMath1272.68227MaRDI QIDQ2851067
Pierre Wolper, Ahmed Bouajjani, Axel Legay
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052035
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Regular model checking with regular relations ⋮ Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates ⋮ Tree regular model checking: a simulation-based approach
This page was built for publication:
