Paper Submission (June 17)

  • The paper is submitted as a single PDF file.
  • It is written in English.
  • It is typeset in the Springer LNCS LaTeX style.
  • It has 6-8 pages; additionally it may contain an appendix with the complete formal model in an appropriate format.
  • It has an abstract, introduction, conclusions, and references.
  • Its core describes the formal model you have elaborated.