scientific article
From MaRDI portal
Publication:2842852
zbMath1270.68165MaRDI QIDQ2842852
Victor Braberman, A. Olivero, F. Schapachnik
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105803895
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Related Items (2)
Improving Search Order for Reachability Testing in Timed Automata ⋮ Dealing with practical limitations of distributed timed model checking for timed automata
This page was built for publication:
