Property-Preserving Synthesis for Unified Control and Data-Oriented Models.

Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific

Awarded date2005

Career, activity or publication related prizes (lifetime, best paper, poster etc.)

event2005 Forum on specification and Design Languages, (FDL 2005)
locationLausanne, Switzerland
Period27 Sep 2005 → 30 Sep 2005