International Conference on Formal Engineering Methods

Harald Brandl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience 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