Volume 239; Issue none

3

Universality of R-automata with Value Copying

Year:
2009
Language:
english
File:
PDF, 279 KB
english, 2009
5

Covering Steps Graphs of Time Petri Nets

Year:
2009
Language:
english
File:
PDF, 310 KB
english, 2009
6

Discount-Optimal Infinite Runs in Priced Timed Automata

Year:
2009
Language:
english
File:
PDF, 337 KB
english, 2009
7

Preface

Year:
2009
Language:
english
File:
PDF, 110 KB
english, 2009
11

Reachability in Timed Counter Systems

Year:
2009
Language:
english
File:
PDF, 302 KB
english, 2009
15

An Automata-based Approach for CTL⋆ With Constraints

Year:
2009
Language:
english
File:
PDF, 410 KB
english, 2009