Publication detail

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

BOUAJJANI, A. VOJNAR, T.

Original Title

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

Type

report

Language

English

Original Abstract

ADVANCE 5th framewrok European project -- deliverables 16 and 17: Integration of Tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework.

Authors

BOUAJJANI, A.; VOJNAR, T.

Released

20. 1. 2004

Location

Paříž

Pages count

14

BibTex

@techreport{BUT192529,
  author="Ahmed {Bouajjani} and Tomáš {Vojnar}",
  title="Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework",
  year="2004",
  address="Paříž",
  pages="14"
}