1. Formal Analysis Tools for the Synchronous Aspect Language Larissa. (20th November 2008) Authors: Stauch, David Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal Analysis Tools for the Synchronous Aspect Language Larissa. (20th November 2008) Authors: Stauch, David Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. (20th November 2008) Authors: Boldt, Marian; Traulsen, Claus; von Hanxleden, Reinhard Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Lutin: A Language for Specifying and Executing Reactive Scenarios. (24th January 2008) Authors: Raymond, Pascal; Roux, Yvan; Jahier, Erwan Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Lutin: A Language for Specifying and Executing Reactive Scenarios. (24th January 2008) Authors: Raymond, Pascal; Roux, Yvan; Jahier, Erwan Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. (20th November 2008) Authors: Boldt, Marian; Traulsen, Claus; von Hanxleden, Reinhard Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Lutin: A Language for Specifying and Executing Reactive Scenarios. (24th January 2008) Authors: Raymond, Pascal; Roux, Yvan; Jahier, Erwan Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. (23rd April 2008) Authors: Boldt, Marian; Traulsen, Claus; von Hanxleden, Reinhard Other Names: Mendler Michael Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2008(2008) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗