Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0


Vol-1698/CS&P2016_03_Tax&Alasgarov&Sidorova&Haakma_On-Generation-of-Time-based-Label-Refinements⫷Vol-1698/CS&P2016_04_Zbrzezny&Zbrzezny_Simple-Bounded-MTL-Model-Checking-for-Discrete-Timed-Automata⫸Vol-1698/CS&P2016_05_Jankowski&Skowron&Wasilewski_Rough-Sets-and-Sorites-Paradox

Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract)