Volume 78; Issue 2

1

A survey of stochastic ω-regular games

Year:
2012
Language:
english
File:
PDF, 335 KB
english, 2012
2

Multi-valued model checking games

Year:
2012
Language:
english
File:
PDF, 298 KB
english, 2012
3

Solving parity games by a reduction to SAT

Year:
2012
Language:
english
File:
PDF, 224 KB
english, 2012
4

Finding and fixing faults

Year:
2012
Language:
english
File:
PDF, 348 KB
english, 2012
5

Model-checking hierarchical structures

Year:
2012
Language:
english
File:
PDF, 578 KB
english, 2012
6

Special Issue: Games in Verification

Year:
2012
Language:
english
File:
PDF, 70 KB
english, 2012
8

Representations of commutative asynchronous automata

Year:
2012
Language:
english
File:
PDF, 239 KB
english, 2012
9

Schützenberger and Eilenberg theorems for words on linear orderings

Year:
2012
Language:
english
File:
PDF, 362 KB
english, 2012
10

Size complexity of rotating and sweeping automata

Year:
2012
Language:
english
File:
PDF, 469 KB
english, 2012
13

Approximate shortest paths in weighted graphs

Year:
2012
Language:
english
File:
PDF, 149 KB
english, 2012
15

On sets without k-term arithmetic progression

Year:
2012
Language:
english
File:
PDF, 174 KB
english, 2012
16

A structural/temporal query language for Business Processes

Year:
2012
Language:
english
File:
PDF, 449 KB
english, 2012
18

Enumerating homomorphisms

Year:
2012
Language:
english
File:
PDF, 250 KB
english, 2012
21

Editorial Board

Year:
2012
Language:
english
File:
PDF, 32 KB
english, 2012
22

Contents

Year:
2012
Language:
english
File:
PDF, 29 KB
english, 2012
23

Contents

Year:
2012
Language:
english
File:
PDF, 75 KB
english, 2012