VerAS - DASMOD Workshop on Verification of Adaptive Systems - Kaiserslautern, Germany, 14444 September 2007

Submission

Papers should be submitted by email to schneider@informatik.uni-kl.de. Submissions should be no more than 16 pages in length and should be written using LaTeX2e and the ENTCS style file, which is available here.

  Last modified: 28 Aug 2013. Contact: tphols2007@informatik.uni-kl.de.