Search

You searched for: Auteur Asarin, Eugene Remove constraint Auteur: Asarin, Eugene
1 entry found
Number of results to display per page

Search Results

1. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Author:
Asarin, Eugene; Bouyer, Patricia; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book