Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122
Hosted By Universitätsbibliothek TU Berlin
Journal Help
User
Username
Password
Remember me
Journal Content
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Other Journals
Information
For Readers
For Authors
For Librarians
Home
About
Login
Register
Search
Current
Archives
Templates
Home
>
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
>
Atkey
Download this PDF file
DOI:
http://dx.doi.org/10.14279/tuj.eceasst.72.1025.995
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST