Til hovedinnhold
English
Søk
Hovedmeny
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