International Conference on Formal Engineering Methods

Harald Brandl (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Qualitative Action Systems
Period9 Dec 2009 - 11 Dec 2009
Held atInternational Conference on Formal Engineering Methods
Event typeConference
LocationRio de Janeiro, Brazil