Jump to : Contact | BibTex reference | EndNote reference |

Date04

M. Mousavi, P. Le Guernic, J.P. Talpin, S. Shukla, T. Basten. Modeling and validation of asynchronous systems in synchronous frameworks. In Design Analysis and Test Europe, 2004.

Contact

Mohammad Mousavi
Jean-Pierre Talpin

BibTex Reference

@InProceedings{Date04,
   Author = {Mousavi, M. and Le Guernic, P. and Talpin, J.P. and Shukla, S. and Basten, T.},
   Title = {Modeling and validation of asynchronous systems in synchronous frameworks},
   BookTitle = {Design Analysis and Test Europe},
   Publisher = {IEEE Press},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.