Cite

HARVARD Citation

    Stauch, D. (2008). Formal Analysis Tools for the Synchronous Aspect Language Larissa. EURASIP journal on embedded systems. p. . [Online]. 
  
Back to record