| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395 |
Selection of 1 from 4 records - Michel Poize has 8 coauthors
Copyright © 2009-12-27 by Michael Ley (ley@uni-trier.de)