formal modeling and analysis of timed systems: 5th international conference, formats 2007, salzburg, austria, october 3-5, 2007, proceedings
raskin, jean-francois
formal modeling and analysis of timed systems: 5th international conference, formats 2007, salzburg, austria, october 3-5, 2007, proceedings
Raskin, Jean-Francois (Autor) · springer · Libro Físico
Sin Stockformal modeling and analysis of timed systems: 5th international conference, formats 2007, salzburg, austria, october 3-5, 2007, proceedings
raskin, jean-francois
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
