G. Kalyon, T. Le gall, H. Marchand, T. Massart, Control of Infinite Symbolic Transitions Systems under Partial Observation, Technical report of the verification group Univeristé Libre de Bruxelles, No 103, October 2008.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Hervé Marchand
hmarchan@irisa.fr

BibTex Reference

@TechReport{control,
   Author = {Kalyon, G. and Le gall, T. and Marchand, H. and Massart, T.},
   Title = {Control of Infinite Symbolic Transitions Systems under Partial Observation},
   Number = {103},
   Institution = {Univeristé Libre de Bruxelles},
   Month = {October},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.