Search

You searched for: Auteur Cassez Remove constraint Auteur: Cassez
1 - 2 of 2
Number of results to display per page

Search Results

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Cassez; Raskin, Jean-Francois
Publisher:
Springer International Publishing 2014
Format:
e-book
2. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Author:
Cassez, Franck; Jard, Claude; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book