dblp.uni-trier.dewww.uni-trier.de

Patrick Venter

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
1EEEtienne 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

Coauthor Index

1Etienne Closse [1]
2Michel Poize [1]
3Jacques Pulou [1]
4Joseph Sifakis [1]
5Daniel Weil [1]
6Sergio Yovine [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)