Volume 133; Issue none

3

Model Checking Flight Guidance Systems: from Synchrony to Asynchrony

Year:
2005
Language:
english
File:
PDF, 318 KB
english, 2005
5

Obtaining Memory-Efficient Solutions to Boolean Equation Systems

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

Preface

Year:
2005
Language:
english
File:
PDF, 63 KB
english, 2005
11

Merging Scenarios

Year:
2005
Language:
english
File:
PDF, 485 KB
english, 2005
12

An Abstract Interpretation Toolkit for μCRL

Year:
2005
Language:
english
File:
PDF, 361 KB
english, 2005