"Timed Multiset Rewriting and the Verification of Time-Sensitive ..."

Max I. Kanovich et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics