To main content
Norsk
Publications

The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)

Academic anthology/Conference proceedings
Year of publication
2009
External websites
Cristin
Contributors
Joel Ouaknine, Frits Vaandrager