%0 Generic
%T Reachability for Updatable Timed Automata Made Faster and More Effective
%A Gastin, Paul
%A Mukherjee, Sayan
%A Srivathsan, B
%A Paul Gastin and Sayan Mukherjee and B Srivathsan
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Static analysis
%K Reachability
%K Simulations
%K Updatable timed automata
%K Zones
%D 2020
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation