Jump to : Contact | BibTex reference | EndNote reference |

tschaen02

V. Tschaen. Compositionality issues in test Synthesis. Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), June 2002.

Contact

Valéry Tschaen http://www.irisa.fr/vertecs/Equipe/Tschaen

BibTex Reference

@Misc{tschaen02,
   Author = {Tschaen, V.},
   Title = {Compositionality issues in test Synthesis},
   Howpublished = {Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02)},
   Month = {June},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs