TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Larsen, K. G. (Participant)

Activity: Attending an eventConference organisation or participation

Period24 Mar 20071 Apr 2007
Event typeConference
LocationBraga, Portugal