Til hovedinnhold
English
Søk på hele nettstedet
Søk
Forside
Våre fagområder
Prosjekter
Nyheter
Publikasjoner
Laboratorier
Arrangementer
Om NIVA
Kontakt oss
Ledelse og organisasjon
Vår strategi
Ansatte
Ledige stillinger
Jobbe i NIVA
Publikasjoner
The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)
Vitenskapelig antologi/Konferanseserie
Publiseringsår
2009
Eksterne nettsted
Cristin
Forfattere
Joel Ouaknine, Frits Vaandrager