Avocs2010 Preface

Authors

  • Jens Bendisposto
  • Michael Leuschel
  • Markus Roggenbach

DOI:

https://doi.org/10.14279/tuj.eceasst.35.673

Downloads

Published

2011-11-14

How to Cite

[1]
J. Bendisposto, M. Leuschel, and M. Roggenbach, “Avocs2010 Preface”, eceasst, vol. 35, Nov. 2011.

Issue

Vol. 35 (2010): Automated Verification of Critical Systems 2010

Section

Preface

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.