Jump to : Contact | BibTex reference | EndNote reference |

ispdc08

A. Gamatiť, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser. Modeling and Formal Validation of High-Performance Embedded Systems. In 7th International Symposium on Parallel and Distributed Computing, ISPDC '08, July 2008.

Contact

Eric Rutten http://pop-art.inrialpes.fr/people/rutten/

BibTex Reference

@InProceedings{ispdc08,
   Author = {Gamatiť, A. and Rutten, E. and Yu, H. and Boulet, P. and Dekeyser, J.-L.},
   Title = {Modeling and Formal Validation of High-Performance Embedded Systems},
   BookTitle = {7th International Symposium on Parallel and Distributed Computing, ISPDC '08},
   Month = {July},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)