Preface

Authors

  • Gerald Lüttgen University of Bamberg
  • Stephan Merz INRIA Nancy & LORIA

DOI:

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

Downloads

Published

2012-12-06

How to Cite

[1]
G. Lüttgen and S. Merz, “Preface”, eceasst, vol. 53, Dec. 2012.

Issue

Vol. 53 (2012): Automated Verification of Critical Systems 2012

Section

Preface

License

Creative Commons License

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