Zoeken

U zocht naar: Auteur Tripakis, Stavros Filter Auteur: Tripakis, Stavros weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Auteur:
Fahrenberg, Uli; Kanade, Takeo; Tripakis, Stavros; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book