Vol-2570⫷ Vol-2571 ⫸Vol-2572
urn:nbn:de:0074-2571-0


Vol-2571/CSP2019_paper_3⫷Vol-2571/CSP2019_paper_12⫸Vol-2571/CSP2019_paper_4
Andrzej ZbrzeznyAgnieszka Zbrzezny

Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)