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

Philippe Herrmann

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

2008
3EESébastien Bardin, Philippe Herrmann: Structural Testing of Executables. ICST 2008: 22-31
1999
2EEPhilippe Herrmann: Renaming is Necessary in Timed Regular Expressions. FSTTCS 1999: 47-59
1998
1EEPhilippe Herrmann: Timed Automata and Recognizability. Inf. Process. Lett. 65(6): 313-318 (1998)

Coauthor Index

1Sébastien Bardin [3]

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