Volume 404; Issue 3

Theoretical Computer Science

Volume 404; Issue 3
1

On model checking multiple hybrid views

Altaf Hussain, Michael Huth
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.00 MB
english, 2008
2

Embedding finite automata within regular expressions

Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 555 KB
english, 2008
6

An automatic abstraction technique for verifying featured, parameterised systems

M. Calder, A. Miller
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.64 MB
english, 2008
7

A probabilistic alternative to regression suites

Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 812 KB
english, 2008
8

Preface

Tiziana Margaria, Bernhard Steffen
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 122 KB
english, 2008