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


Vol-1698/CS&P2016_02_Pelz_Timed-Processes-of-Interval-Timed-Petri-Nets⫷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
Niek TaxEmin AlasgarovNatalia SidorovaReinder Haakma

On Generation of Time-based Label Refinements