Personal Home Page

http://www-verimag.imag.fr/~stauch/

Articles in Scholarly Journals [Incomplete List]

1. Formal Analysis Tools for the Synchronous Aspect Language Larissa
   EURASIP Journal on Embedded Systems, vol. 2008, Article ID 310147, 18 pages, 2008