C. Morvan, On external presentations of infinite graphs, in 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09 (to appear in eptcs), Bologna, Italy, August 2009.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Christophe Morvan
christophe.morvan@irisa.fr

BibTex Reference

@InProceedings{infinity09,
   Author = {Morvan, C.},
   Title = {On external presentations of infinite graphs},
   BookTitle = {11th International Workshop on Verification of Infinite-State Systems, INFINITY'09 (to appear in eptcs)},
   Address = {Bologna, Italy},
   Month = {August},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.