Publication:2842852
From MaRDI portal
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
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68W15: Distributed algorithms
Related Items
Dealing with practical limitations of distributed timed model checking for timed automata, Improving Search Order for Reachability Testing in Timed Automata