E. Zinovieva, Symbolic Test Generation for Reactive Systems, in Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), June 2002.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Elena Zinovieva
elena.zinovieva@irisa.fr

BibTex Reference

@InProceedings{Zinovieva02,
   Author = {Zinovieva, E.},
   Title = {Symbolic Test Generation for Reactive Systems},
   BookTitle = {Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02)},
   Month = {June},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.