52

A memorable patient: A thousand leagues under the sea

Year:
2002
File:
PDF, 150 KB
2002
64

ν2 and ν4 bands of the NT3 molecule

Year:
1961
Language:
english
File:
PDF, 1.03 MB
english, 1961
65

Vibration-rotation bands of N214O16 at 4.5μ

Year:
1962
Language:
english
File:
PDF, 290 KB
english, 1962
66

ν3 and ν1 bands of the NT3 molecule

Year:
1963
Language:
english
File:
PDF, 600 KB
english, 1963
67

Deviations from soft mode behaviour in the Raman spectrum of incommensurate BaMnF4

Year:
1981
Language:
english
File:
PDF, 411 KB
english, 1981
69

Distributed Partial Order Reduction of State Spaces

Year:
2005
Language:
english
File:
PDF, 248 KB
english, 2005
72

Preface

Year:
2005
Language:
english
File:
PDF, 65 KB
english, 2005
75

Flash memory efficient LTL model checking

Year:
2011
Language:
english
File:
PDF, 459 KB
english, 2011
77

Preface: volume 89

Year:
2003
Language:
english
File:
PDF, 30 KB
english, 2003
79

Preface: Volume 68 Issue 4

Year:
2002
Language:
english
File:
PDF, 39 KB
english, 2002
80

Using Assumptions to Distribute CTL Model Checking

Year:
2002
Language:
english
File:
PDF, 216 KB
english, 2002
85

Introductory paper

Year:
2005
Language:
english
File:
PDF, 235 KB
english, 2005
86

Scalable shared memory LTL model checking

Year:
2010
Language:
english
File:
PDF, 622 KB
english, 2010
92

Foreword

Year:
2006
Language:
english
File:
PDF, 87 KB
english, 2006
93

Faster algorithms for mean-payoff games

Year:
2011
Language:
english
File:
PDF, 848 KB
english, 2011
94

Preface

Year:
2006
Language:
english
File:
PDF, 72 KB
english, 2006
97

Distribution of Explicit-State LTL Model-Checking

Year:
2003
Language:
english
File:
PDF, 106 KB
english, 2003