RAPIDO'13 Workshop Talk

R. Lezuo, and A. Krall. Using the CASM Language for Simulator Synthesis and Model Verification. Workshop Talk at the Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2013, Berlin, Germany, 21st January, 2013.
  namespace    = "cite"
  title        = {{U}sing the {CASM} {L}anguage for {S}imulator {S}ynthesis and {M}odel {V}erification},
  author       = {Lezuo, Roland and Krall, Andreas},
  howpublished = {RAPIDO'13 Talk Slides},
  month        = {January},
  year         = {2013},
  note         = {\url{TODO}}

Copyright © 2014-2019 CASM Organization.
All rights reserved.