TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Larsen, K. G. (Deltager)
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference