Detail publikace

Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework

BOUAJJANI Ahmed a VOJNAR Tomáš. Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework. Paříž, 2004.
Typ
technická zpráva
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Rok
2004
Strany
14
Místo
Paříž, FR
BibTeX 
@TECHREPORT{FITPUB7661,
   author = "Ahmed Bouajjani and Tom\'{a}\v{s} Vojnar",
   title = "Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework",
   pages = 14,
   year = 2004,
   location = "Pa\v{r}\'{i}\v{z}, FR",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7661"
}
Nahoru