dblp.uni-trier.de

Patrick Venter

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

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]

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008