Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 (Q106244468)
Jump to navigation
Jump to search
academic conference
- 5th FORMATS 2007: Salzburg, Austria
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 |
academic conference |
|
Statements
FORMATS 2007 (English)
1 reference
Formal Modeling and Analysis of Timed Systems, 5th International Conference (English)
1 reference
3 October 2007
1 reference
5 October 2007
1 reference
Identifiers
FORMATS (5 : 2007 : Salzburg)
1 reference
FORMATS (5 : 2007 : Salzburg)
1 reference