Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122
Open Journal Systems
Journal Help
User
Username
Password
Remember me
Journal Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Information
For Readers
For Authors
For Librarians
Home
About
Log In
Register
Search
Current
Archives
Templates
Home
>
Volume 35: Automated Verification of Critical Systems 2010
>
Bendisposto
Avocs2010 Preface
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Full Text:
PDF
Electronic Communications of the EASST