|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLPN Benchmarks
VLSAT Benchmarks VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
This is an HTTP mirror of the following FTP resource ftp://ftp.inrialpes.fr/pub/vasy/publications/theses
| Files | Size | Last modified |
| Coste-10.pdf | 1651 KB | Jan 20 2011 |
| Coste-10.ps.Z | 7497 KB | Jan 20 2011 |
| Garavel-89-b.pdf | 1603 KB | Jul 1 2004 |
| Garavel-89-b.ps.Z | 1516 KB | Aug 30 2001 |
| Joubert-05.pdf | 1285 KB | Mar 14 2006 |
| Joubert-05.ps.Z | 1073 KB | Mar 14 2006 |
| Mateescu-98-a.pdf | 2167 KB | Jul 19 2001 |
| Mateescu-98-a.ps.Z | 978 KB | Sep 29 1998 |
| Mazzilli-99.pdf | 874 KB | Jul 19 2001 |
| Mazzilli-99.ps.Z | 735 KB | Feb 1 2000 |
| Stoecker-09.pdf | 1950 KB | Oct 11 2011 |
| Stoecker-09.ps.Z | 1441 KB | Oct 11 2011 |
| Thivolle-11.pdf | 2546 KB | Jul 18 2012 |
| Thivolle-11.ps.Z | 3714 KB | Jul 18 2012 |
| Vivien-96.pdf | 452 KB | Jul 19 2001 |
| Vivien-96.ps.Z | 163 KB | Mar 19 1997 |
| Vivien-97.pdf | 873 KB | Jul 19 2001 |
| Vivien-97.ps.Z | 367 KB | Feb 10 1998 |
| Zidouni-10.pdf | 1485 KB | Jan 20 2011 |
| Zidouni-10.ps.Z | 33835 KB | Jan 20 2011 |