Jump to : Contact | BibTex reference | EndNote reference |

AGHY12a

S. Akshay, B. Genest, L. Hélouet, S. Yang. Symbolically Bounding the Drift in Time-Constrained MSC Graphs. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 1-15, 2012.

Contact

Blaise Genest http://perso.crans.org/~genest/
Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{AGHY12a,
   Author = {Akshay, S. and Genest, B. and Hélouet, L. and Yang, S.},
   Title = {Symbolically Bounding the Drift in Time-Constrained MSC Graphs},
   BookTitle = {Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium},
   editor = {Roychoudhury, Abhik and D'Souza, Meenakshi},
   Volume = {7521},
   Pages = {1--15},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)