4

Synthesis of Reactive(1) designs

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

OBLIGATION BLACKWELL GAMES AND P-AUTOMATA

Year:
2017
Language:
english
File:
PDF, 646 KB
english, 2017
7

Part I. General practitioner–specialist relationship

Year:
2005
Language:
english
File:
PDF, 66 KB
english, 2005
8

Part II. General practitioner–specialist referral process

Year:
2005
Language:
english
File:
PDF, 78 KB
english, 2005
10

Strategy logic

Year:
2010
Language:
english
File:
PDF, 294 KB
english, 2010
17

The homotopy types of the posets of p -subgroups of a finite group

Year:
2018
Language:
english
File:
PDF, 407 KB
english, 2018
18

A stronger reformulation of Webb's conjecture in terms of finite topological spaces

Year:
2019
Language:
english
File:
PDF, 511 KB
english, 2019
25

From bidirectionality to alternation

Year:
2003
Language:
english
File:
PDF, 267 KB
english, 2003
29

Liveness with invisible ranking

Year:
2006
Language:
english
File:
PDF, 2.48 MB
english, 2006
31

From liveness to promptness

Year:
2009
Language:
english
File:
PDF, 475 KB
english, 2009
33

Genetic testing: a round table conversation. Part II

Year:
2004
Language:
english
File:
PDF, 96 KB
english, 2004
34

Genetic testing: a round table conversation. Part I

Year:
2004
Language:
english
File:
PDF, 106 KB
english, 2004
35

Reply

Year:
2004
Language:
english
File:
PDF, 20 KB
english, 2004
36

Consumer representation: challenges and pitfalls

Year:
2006
Language:
english
File:
PDF, 55 KB
english, 2006
37

Bridging the gap between fair simulation and trace inclusion

Year:
2005
Language:
english
File:
PDF, 433 KB
english, 2005
39

p-Automata: New foundations for discrete-time probabilistic verification

Year:
2012
Language:
english
File:
PDF, 586 KB
english, 2012
43

Health consequences of the recession

Year:
1991
Language:
english
File:
PDF, 139 KB
english, 1991