B. Jose, S. Shukla, H. Patel, J.P. Talpin. On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications. In ACM-IEEE Conference on Methods and Models for Codesign, 2008.
@InProceedings{memocode08a,
Author = {Jose, B. and Shukla, S. and Patel, H. and Talpin, J.P.},
Title = {On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications},
BookTitle = {ACM-IEEE Conference on Methods and Models for Codesign},
Publisher = {IEEE},
Year = {2008}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.